Yann Zimmermann, Stefan Hallerstede, Dominique Cansell. Formal modelling of electronic circuits using event-B, Case Study: SAE J1708 Serial Communication Link. Jean Mermet.
UML-B - Specification for Proven Embedded Systems Design, Kluwer Academic Publishers, 2004.
⟨inria-00100144⟩