T. Arai, and F. Stolzenburg. AAMAS '02: Proceedings of the first international joint conference on Autonomous agents and multiagent systems, page 11--18. New York, NY, USA, ACM Press, (2002)
O. Ariss, D. Xu, E. Wong, Y. Chen, and Y. Lee. Computer Software and Applications, 2008. COMPSAC '08. 32nd Annual IEEE International, page 120--123. (2008)
M. Banci, and A. Fantechi. FMICS '05: Proceedings of the 10th international workshop on Formal methods for industrial critical systems, page 134--143. New York, NY, USA, ACM Press, (2005)