Author: International Workshop on Formal Methods for Industrial Critical Systems (11th 2006 Bonn, Germany)