Embedded Systems: Design, Analysis and Verification. Proceedings of the 4th IFIP T International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 2013
G. Schirner, M. Götz, A. Rettberg, M.C. Zanella, F.-J. Rammig, eds., Embedded Systems: Design, Analysis and Verification. Proceedings of the 4th IFIP T International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 2013, Springer, 2013.