Author: International Workshop on Formal Methods for Industrial Critical Systems (15th 2010 Antwerp, Belgium)