1. Alur, R., Yannakakis, M.: Model checking of message sequence charts. In: Proceedings of the Tenth International Conference on Concurrency Theory, Springer, Heidelberg (1999)
2. Alur, R., Etessami, K., Yannakakis, M.: Inference of Message Sequence Charts. In: Proceedings 22nd International Conference on Software Engineering, pp. 304–313 (2000)
3. Bontemps, Y., Schobbens, P.-Y.: Synthesis of Open Reactive Systems from Scenario-Based Specifications. In: Third International Conference on Application of Concurrency to System Design, ACSD 2003 (2003)
4. Bontemps, Y., Heymens, P.: Turning high-level live sequence charts into automata. In: Proc. of Scenarios and State Machines: Models Algorithms and Tools, 24th International Conf. on Software Engineering (May 2002)
5. Lecture Notes in Computer Science;P. Baker,2003