@InProceedings{tutorial04,
  author={Gerd Behrmann and Alexandre David and Kim G. Larsen},
  title={A Tutorial on {\sc Uppaal}},
  booktitle={Formal Methods for the Design of Real-Time Systems: 4th 
  International School on Formal Methods for the Design of
  Computer, Communication, and Software Systems, SFM-RT 2004},
  year={2004},
  month={September},
  series={LNCS},
  number={3185},
  pages={200--236},
  editor={Marco Bernardo and Flavio Corradini},
  publisher={Springer--Verlag}
}