D. Xu, H. Miao, and N. Philbert. Computer and Information Science, 2009. ICIS 2009. Eighth IEEE/ACIS International Conference on, page 1035 -1040. (June 2009)
D. Xu, N. Philbert, Z. Liu, and W. Liu. Computer Science and Computational Technology, 2008. ISCSCT '08. International Symposium on, 2, page 450 --453. (December 2008)
F. Solms. Proceeding of the 2007 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the sixth SoMeT\_07, page 52--70. Amsterdam, The Netherlands, The Netherlands, IOS Press, (2007)ACM ID: 1566976.
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)