Formal Methods for Embedded Distributed Systems: How To Master The Complexity - Michel Lemoine et Fabrice Kordon