sur 14
Approches formelles des systèmes embarqués communicants — Claude Jard, Olivier H. Roux