1. Amthor, P., Dick, S.: Test eines Bordcomputers für ein dezentrales Zugsteuerung system unter Verwendung des Werkzeuges VVT-RT. 7. Kolloquium Software Entwicklung Methoden, Werkzeuge, Erfahrungen: Mächtigkeit der Software und ihre Beherrschung, Technische Akademie Esslingen (1997).
2. Astesiano, E., Cerioli, M.: Multiparadigm Specification Languages: a First Attempt at Foundations, In: C.M.D.J. Andrews and J.F. Groote (eds.), Semantics of Specification Languages (SoSl’93), Workshops in Computing, Springer (1994) 168–185.
3. Blank Purper, C., Westmeier, S.: A Graphical Development Process Assistant for Formal Methods. In: Proc. VISUAL’98 (short papers), at ETAPS’98, Lisbon (1998).
http://www.tzi.de/~uniform/gdpa
4. Bengtsson, J., Larsen, K.G., Larsson, F., Pettersson, P., Yi, W.: UPPAAL — a tool suite for automatic verification of real-time systems. Proc. 4th DIMACS Workshop: Verification and Control of Hybrid Systems. New Brunswick, New Jersey, 1995.
5. Lect Notes Comput Sci;B. Buth,1997