Christoph M. Kirsch Reinhard Wilhelm Proceedings of the 7th ACM & IEEE International conference on Embedded software, EMSOFT 2007, September 30 - October 3, 2007, Salzburg, Austria EMSOFT ACM 2007 978-1-59593-825-1 db/conf/emsoft/emsoft2007.html