H. Cao, L. Kang, T. Guo, Y. Chen, und H. de Garis. IEEE Transactions on Systems, Man and Cybernetics --
Part B: Cybernetics, 40 (2):
351--357(April 2000)
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)