@Article{bgklppw-jlap02,
  author = 	 {Johan Bengtsson and W.~O.~David Griffioen and 
                  Kåre J.~Kristoffersen and Kim G.~Larsen and 
                  Fredrik Larsson and Paul Pettersson and Wang Yi},
  title = 	 {Automated Analysis of an Audio Control Protocol Using 
                  {\sc Uppaal}},
  journal = 	 {Journal of Logic and Algebraic Programming},
  year =         {2002},
  volume = 	 {52--53},
  pages = 	 {163--181},
  month = 	 {July-August}
}