(2010). Communicating embedded systems: Software and design : formal methods. ISTE, Ltd.
Chicago-Zitierstil (17. Ausg.)Communicating Embedded Systems: Software and Design : Formal Methods. London: ISTE, Ltd, 2010.
MLA-Zitierstil (9. Ausg.)Communicating Embedded Systems: Software and Design : Formal Methods. ISTE, Ltd, 2010.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.