"Formal Methods for Embedded Distributed Systems : How to master the complexity" - читать интересную книгу автора (Fabrice Kordon and Michel Lemoine)