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