1. J. Bengtsson, W.O.D. Griffioen, K.J. Kristoffersen, K.G. Larsen, F. Larsson, P. Pettersson, and W. Yi. Verification of an Audio Protocol with Bus Collision Using UPPALL. In R. Alur and T. Henzinger, editors, Proceedings of the 8th International Conference on Computer-Aided Verification, New Brunswick, New Jersey, USA, Volume 1102 of Lecture Notes in Computer Science. Springer-Verlag, 1996.
2. J. Bengtsson, K.G. Larsen, F. Larsson, P. Petterson, and W. Yi. UPPALL — A Tool Suite for Automatic Verification of Real-Time Systems. In Proceedings of the 4th DIMACS Workshop on Verification and Control Hybrid Systems, New Brunswick, New Jersey, USA, 1995. To appear in Lecture Notes in Computer Science, Springer-Verlag.
3. S. Christensen. Design/CPN Message Sequence Charts Library Manual. Computer Science Department, University of Aarhus, Denmark. Online: http://www.daimi. aau.dk/designCPN/.
4. S. Christensen, K. Jensen, and L.M. Kristensen. Design/CPN Occurrence Graph Manual. Computer Science Department, University of Aarhus, Denmark. Online: http://www.daimi.aau.dk/designCPN/.
5. D.J. Floreani, J. Billington, and A. Dadej. Designing and Verifying a Communications Gateway Using Coloured Petri Nets and Design/CPN. In J. Billington and W. Reisig, editors, Proceedings of the 17th International Conference on Application and Theory of Petri Nets, Osaka, Japan, Volume 1091 of Lecture Notes in Computer Science. Springer-Verlag, 1996.