Author: Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems (8th 2010 Braunschweig, Germany)