"Formal methods for embedded distributed systems: how to master the complexity " - читать интересную книгу автора (Fabrice Kordon, Michel Lemoine)