M. Beetz, M. Buss, and D. Wollherr. KI 2007: Advances in Artificial Intelligence, volume 4667 of Lecture Notes in Artificial Intelligence, Springer, Berlin, (2007)
Y. Oh, D. Lee, S. Kang, and J. Lee. 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign, 2007. MEMOCODE 2007, page 87--88. IEEE, (June 2007)