1. Alur, R., Yannakakis, M.: Model checking of message sequence charts. In: Proceedings of the Tenth International Conference on Concurrency Theory, pp. 114–129. Springer, New York (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. Alur, R., Etessami, K., Yannakakis, M.: Realizability and verification of MSC graphs. In: Proceedings of the 28th International Colloquium on Automata, Languages, and Programming, pp. 797–808. Springer, New York (2001)
4. Ben-Abdhallah, H., Leue, S.: Syntactic detection of process divergence and non-local choice in message sequence charts. In: Proceedings of the 3rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pp. 259–274. Springer, New York (1997)
5. Baker, P., Bristow, P., Jervis, C., King, D., Mitchell, B.: Automatic generation of conformance tests from message sequence charts. In: Proceedings of 3rd SAM Workshop 2002, Telecommunications and Beyond: The Broader Applicability of MSC and SDL, pp. 170–198. LNCS 2599 (2002)