1. Alur, R., Holzmann, G.J., Peled, D.: An analyzer for message sequence charts. Software Concepts and Tools 17(2), 70–77 (1996)
2. Lecture Notes in Computer Science;R. Castanet,2004
3. Lecture Notes in Computer Science;P. Combes,2003
4. Combes, P., Dubois, F., Renard, B.: An Open Animation Tool: Application to Telecommunications Systems. Computer Networks 40(5), 599–620 (2002)
5. Combes, P., Harel, D., Kugler, H.: Supplementary material on the depannage application, http://cs.nyu.edu/~kugler/Depannage/