Jingyue Li1, Axel Anders Kvale1 and Reidar Conradi1,2
1Department of Computer and Information Science
Norwegian University of Science and Technology
No-7491 Trondheim, Norway
E-mail: jingyue@idi.ntnu.no
2Simula Research Laboratory
P.O. Box 134, No-1325 Lysaker, Norway