Schirner. (2013). Embedded Systems: Design, Analysis and Verification (1.). Springer Berlin Heidelberg.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Schirner. Embedded Systems: Design, Analysis and Verification. 1. Springer Berlin Heidelberg, 2013.
توثيق جمعية اللغة المعاصرة MLA (الطبعة الثامنة)Schirner. Embedded Systems: Design, Analysis and Verification. 1. Springer Berlin Heidelberg, 2013.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.