1. Alur, R., Holzmann, G.J., Peled, D.: An analyzer for message sequence charts. LNCS 1055, Springer, (1996), 35–48.
2. Bowen, J., Hinchey, M.G.: Seven more myths of formal methods. IEEE Software, 12(4), (July 1995), 34–41.
3. Holzmann, G.J.: Design and validation of computer protocols. Prentice Hall, Software Series, 1991.
4. Holzmann, G.J.: Early fault detection tools. LNCS 1055, Springer, (1996), 1–13.
5. ITU-T Recommendation Z.120, Message Sequence Chart (MSC), March 1993. (MSC96: http://www.win.tue.nl/win/cs/fm/sjouke/msc.html)