V. Sreedhar, and M. Marinescu. EMSOFT '05: Proceedings of the 5th ACM international conference on Embedded software, page 48--51. New York, NY, USA, ACM Press, (2005)
S. Shankar, S. Asa, V. Sipos, and X. Xu. ASE '05: Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering, page 243--252. New York, NY, USA, ACM Press, (2005)