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