Embedded systems : design, analysis and verification : 4th IFIP TC 10 international embedded systems symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013, proceedings. ISBN 9783642388521. Published by Springer in 2013. Publication and catalogue information, links to buy online and reader comments.