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)
Y. Chen, X. Li, L. Yi, D. Liu, L. Tang, and H. Yang. Software Engineering and Service Sciences (ICSESS), 2010 IEEE International Conference on, page 729 --733. (July 2010)