Verification of an Audio Protocol with Bus Collision Using UPPAAL (1996)

by Johan Bengtsson, W. O. David Griffioen, Kåre J. Kristoffersen, Kim G. Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi