Communicating embedded systems software and design : formal methods - Jard, Claude; Roux, Olivier H. (ISTE ; Wiley, 2010)