Luca de Alfaro Jens Palsberg Proceedings of the 8th ACM & IEEE International conference on Embedded software, EMSOFT 2008, Atlanta, GA, USA, October 19-24, 2008 EMSOFT ACM 2008 978-1-60558-468-3 db/conf/emsoft/emsoft2008.html