Johan Bengtsson W. O. David Griffioen Kåre J. Kristoffersen Kim Guldstrand Larsen Fredrik Larsson Paul Pettersson Wang Yi Automated verification of an audio-control protocol using UPPAAL. 163-181 2002 52-53 J. Log. Algebr. Program. http://dx.doi.org/10.1016/S1567-8326(02)00036-X db/journals/jlp/jlp52.html#BengtssonGKLLPY02