MLA

Schirner, Gunar; Götz, Marcelo; Rettberg, Achim, et al. Embedded Systems: Design, Analysis and Verification. Springer Berlin Heidelberg, 2013.

APA

Schirner, A., Götz, M., Rammig, F. J, Rettberg, A., & Zanella, M. C. (2013). Embedded Systems: Design, Analysis and Verification. Springer Berlin Heidelberg.

Chicago

Schirner, Gunar; Götz, Marcelo; Rettberg, Achim, Marcelo Götz, Franz J Rammig, Achim Rettberg, and Mauro C Zanella. Embedded Systems: Design, Analysis and Verification. : Springer Berlin Heidelberg, 2013.