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