Formal Methods for Embedded Distributed Systems How to master the complexity - Kordon, Fabrice; Lemoine, Michel (Springer US, 2004)