Formal methods for embedded distributed systems : how to master the complexity - Lemoine, Michel; Kordon, Fabrice (Kluwer Academic Publishers, 2004)