This paper presents the experience the authors gained in applying formal methods - mainly MSC and SDL - when specifying a reactive system. The experience not only deals with the descriptions of the system, but also with the methodology used to develop the descriptions.
SFB 501, Internal Report 03/97, Universität Kaiserslautern, 1997.
(Gzipped Postscript, 65 KB, 28 pp)