"FORMS FORMAT 2010: Formal Methods for Automation and Safety in Railway and Automotive Systems" - читать интересную книгу автора (Eckehard Schnieder, Geza Tarnai)