B. Wang, C. Wen, W. Zhu, und J. Sheng. International Symposium on Computer Science and Computational Technology, 2008. ISCSCT '08, 2, Seite 383--386. IEEE, (Dezember 2008)
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)