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. (Springer Berlin Heidelberg,)