@inproceedings{bllpw:dimacs95,
   title = {{{\sc Uppaal} --- a Tool Suite for Automatic Verification of Real--Time Systems}},
   author = {Johan Bengtsson and Kim G.\ Larsen and Fredrik Larsson and Paul Pettersson and Wang Yi},
   booktitle = {Proc.\ of Workshop on Verification and Control of Hybrid Systems III}, 
   series = {Lecture Notes in Computer Science},
   number = 1066,
   pages = {232--243},
   publisher = {Springer--Verlag},
   month = Oct, 
   year = 1995
}