Trích dẫn kiểu APA (xuất bản lần thứ 7)
ebrary, Inc, Jard, C., & Roux, O. H. (2010). Communicating embedded systems: Software and design : formal methods. ISTE ; Wiley.
Trích dẫn kiểu Chicago (xuất bản lần thứ 7)
ebrary, Inc, Claude Jard, và Olivier H. Roux. Communicating Embedded Systems: Software and Design : Formal Methods. London : Hoboken, N.J.: ISTE ; Wiley, 2010.
Trích dẫn kiểu MLA (xuất bản lần thứ 9)
ebrary, Inc, et al. Communicating Embedded Systems: Software and Design : Formal Methods. ISTE ; Wiley, 2010.
Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.