EMSOFT '07 proceedings of the seventh ACM & IEEE International Conference on Embedded Software : Salzburg, Austria, Sept. 30-Oct. 3, 2007 / (ACM,)