"Formal Methods for Industrial Critical Systems, 14 conf., FMICS 2009" - читать интересную книгу автора (María Alpuente; Byron Cook; Christophe Joubert )