Embedded Systems: Design, Analysis and Verification 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013. Proceedings - Schirner, Gunar; Götz, Marcelo; Rettberg, Achim; Zanella, Mauro C.; Rammig, Franz J. (Springer Berlin Heidelberg : Imprint: Springer, 2013)