O. Tardieu, and S. Edwards. EMSOFT '06: Proceedings of the 6th ACM & IEEE International conference on Embedded software, page 142--151. New York, NY, USA, ACM, (2006)
A. Azevedo, A. Kejariwal, A. Veidenbaum, and A. Nicolau. EMSOFT '05: Proceedings of the 5th ACM international conference on Embedded software, page 52--61. New York, NY, USA, ACM, (2005)