1. Alur, R., Etessami, K., Yannakakis, M.: Inference of Message Sequence Charts. In: Proceedings of 22nd International Conference on Software Engineering, pp. 304–313 (2000)
2. Lecture Notes in Computer Science;R. Alur,1996
3. Abadi, M., Lamport, L.: Martín Abadi and Leslie Lamport. Composing specifications. ACM Transactions on Programming Languages and Systems 14(4), 1–60 (1992)
4. Lecture Notes in Computer Science;H. Ben-Abdallah,1997
5. Bontemps, Y., Heymans, P., Kugler, H.: Applying LSCs to the specification of an air traffic control system. In: Uchitel, S., Bordeleau, F. (eds.) Proc. of the 2nd Int. Workshop on “Scenarios and State Machines: Models, Algorithms and Tools” (SCESM 2003), at the 25th Int. Conf. on Soft. Eng. (ICSE 2003), Portland, OR, USA, May 2003, IEEE, Los Alamitos (2003)