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