"Formal Methods for Industrial Critical Systems: 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings (Lecture ... Programming and Software Engineering)" - читать интересную книгу автора (Stefan Kowalewski, Marco Roveri)