Schirner. (2013). Embedded Systems: Design, Analysis and Verification (1.). Springer Berlin Heidelberg.
Παραπομπή σε μορφή Chicago (17η εκδ.)Schirner. Embedded Systems: Design, Analysis and Verification. 1. Springer Berlin Heidelberg, 2013.
Παραπομπή σε μορφή MLA (8th εκδ.)Schirner. Embedded Systems: Design, Analysis and Verification. 1. Springer Berlin Heidelberg, 2013.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.