1. Aggoun I. and Combes P. (1997). Observers in the SCE and the SEE to Detect and Resolve Services Interactions. IOS Press, Amsterdam
2. Altia Design & Altia FacePlate, web page http://www.altia.com
3. Alur R., Holzmann G. and Peled D. (1996). An analyzer for message sequence charts. Softw. Concepts Tools 17(2): 70–77
4. Amyot D. and Eberlein A. (2003). An evaluation of scenario notations and construction approaches for telecommunication systems development. Telecommun. Syst. J. 24(1): 61–94
5. Bunker, A., Gopalakrishnan, G.: Verifying a VCI bus interface model using an LSC-based specification. In: Ehrig, H., Kramer, B.J., Ertas, A. (eds.) Proceedings of the 6th Biennial World Conference on Integrated Design and Process Technology, pp. 1–12 (2002)