Schirner. (2013). Embedded Systems: Design, Analysis and Verification (1.). Springer Berlin Heidelberg.
Lua i Stíl Chicago (17ú heag.)Schirner. Embedded Systems: Design, Analysis and Verification. 1. Springer Berlin Heidelberg, 2013.
Lua MLA (8ú heag.)Schirner. Embedded Systems: Design, Analysis and Verification. 1. Springer Berlin Heidelberg, 2013.
Rabhadh: Seans nach mbeach na luanna seo go hiomlán cruinn i ngach uile chás.