Verification of an audio protocol with bus collision using uppaal (1996)

by Johan Bengtsson, W O David Griffioen, K˚are J Kristoffersen, Kim Gulstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi
Venue:In CAV’96, LNCS 1102