Krisztián Flautner, John Regehr: Proceedings of the 2008 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'08), Tucson, AZ, USA, June 12-13, 2008. ACM 2008, ISBN 978-1-60558-104-0