Cita APA (7a ed.)

Jard, C., & Roux, O. H. (2010). Communicating embedded systems: Software and design : formal methods. ISTE, Ltd. ; Wiley.

Cita Chicago Style (17a ed.)

Jard, Claude, y Olivier H. Roux. Communicating Embedded Systems: Software and Design : Formal Methods. London : Hoboken: ISTE, Ltd. ; Wiley, 2010.

Cita MLA (8a ed.)

Jard, Claude, y Olivier H. Roux. Communicating Embedded Systems: Software and Design : Formal Methods. ISTE, Ltd. ; Wiley, 2010.