Y. Oh, D. Lee, S. Kang, und J. Lee. 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign, 2007. MEMOCODE 2007, Seite 87--88. IEEE, (Juni 2007)
X. Liu, M. Azmoodeh, und N. Georgalas. Fifth International Workshop on Software Quality, 2007. WoSQ'07: ICSE Workshops 2007, Seite 7--7. IEEE, (Mai 2007)