"Formal Methods for Industrial Critical Systems (Lecture Notes in Computer Science) " - читать интересную книгу автора (Gwen Salaün, Bernhard Schätz (Editors))