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)
V. Petricek, I. Cox, H. Han, I. Councill, and C. Giles. volume 3652 NCS of Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), page 438-449. Vienna, Austria, Springer Verlag, Heidelberg, D-69121, Germany, (2005)