1. R. Alur and D. L. Dill. A Theory of Timed Automata. Theoretical Computer Science, 126:183–235, 1994.
2. A. Bailey, G. A. McCaskill, and G. J. Milne. An Exercise in the Automatic Verification of Asynchronous Designs. Formal Methods in System Design, 4(3):213–242, May 1994.
3. J. Bengtsson, W.O.D. Griffioen, K.J. Kristoffersen, K.G. Larsen, F. Larsson, P. Pettersson, and W. Yi. Verification of an Audio Control Protocol with Bus Collision Using Uppaal. In Proceedings of the 8th International Conference on Computer-Aided Verification, New Brunswick, USA, 31 July–23 August, 1996, Lecture Notes in Computer Science 1102, pages 244–256, Springer, Berlin, Germany, 1996.
4. D.J.B. Bosscher, I. Polak, and F.W. Vaandrager. Verification of an Audio Control Protocol. In H. Langmaack, W.-P. de Roever, and J. Vytopil, editors, Proceedings of the 3rd School and Symposium on Formal Techniques in Real-Time and Fault tolerant Systems, Lübeck, Germany, September 1994, Lecture Notes in Computer Science 863, pages 170–192, Springer, Berlin, Germany, 1994. Full version as Report CS-R9445, CWI, Amsterdam, The Netherlands, July 1994.
5. Technical Report TR-96-29;A. Cerone,1996