Forms/Format 2010: Formal Methods for Automation and Safety in Railway and Automotive Systems (Paperback, 2011)