Author: International Workshop on Formal Methods for Industrial Critical Systems (12th 2007 Berlin, Germany)