APA
                    Gunar Schirner M. G. A. R. M. C. Z. F. J. R., . (2013). Embedded Systems: Design, Analysis and Verification. Germany: Springer.
                
                    Chicago
                    Gunar Schirner Marcelo Götz Achim Rettberg Mauro C Zanella Franz J Rammig, . 2013. Embedded Systems: Design, Analysis and Verification. Germany: Springer.
                
                    Harvard
                    Gunar Schirner M. G. A. R. M. C. Z. F. J. R., . (2013). Embedded Systems: Design, Analysis and Verification. Germany: Springer.
                
                    MLA
                    Gunar Schirner Marcelo Götz Achim Rettberg Mauro C Zanella Franz J Rammig, . Embedded Systems: Design, Analysis and Verification. Germany: Springer. 2013.