You are about to access our book library "FORMS/FORMAT 2010: Formal Methods for Automation and Safety in Railway and Automotive Systems full version" .