Schirner. (2013). Embedded Systems: Design, Analysis and Verification (1.). Springer Berlin Heidelberg.
Čikaški stil citiranja (17. izdanje)Schirner. Embedded Systems: Design, Analysis and Verification. 1. Springer Berlin Heidelberg, 2013.
MLA način citiranja (8. izdanje)Schirner. Embedded Systems: Design, Analysis and Verification. 1. Springer Berlin Heidelberg, 2013.
Upozorenje: Ovi citati možda nisu uvijek 100% točni.