1. R. Alur, K. Etessami, M. Yannakakis, Inference of message sequence charts, in: Proc. 22nd Internat. Conf. on Software Engineering (ICSE), 2000, pp. 304–313.
2. An analyzer for message sequence charts;Alur;Software Concepts Tools,1996
3. R. Alur, M. Yannakakis, Model checking of message sequence charts, in: Proc. Tenth Internat. Conf. on Concurrency Theory (CONCUR), Lecture Notes in Computer Science, Vol. 1664, 1999, pp. 114–129.
4. H. Ben-Abdallah, S. Leue, Syntactic detection of process divergence and non-local choice in message sequence charts, in: Proc. Third Internat. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Lecture Notes in Computer Science, Vol. 1217, 1997, pp. 259–276.
5. H. Ben-Abdallah, S. Leue, MESA: support for scenario-based design of concurrent systems, in: Proc. Fourth Internat. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Lecture Notes in Computer Science, Vol. 1384, 1998, pp. 118–135.