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