B
[BDL04] Gerd Behrmann, Alexandre David, and Kim Guldstrand Larsen. A Tutorial on Uppaal. In SFM-RT'04, Lecture Notes in Computer Science 3185, pages 200-236. Springer-Verlag, September 2004. 
@inproceedings{sfm2004-BDL,
  author =              {Behrmann, Gerd and David, Alexandre and Larsen, Kim
                         Guldstrand},
  title =               {A~Tutorial on {U}ppaal},
  editor =              {Bernardo, Marco and Corradini, Flavio},
  booktitle =           {{F}ormal {M}ethods for the {D}esign of {R}eal-{T}ime
                         {S}ystems~--- {R}evised {L}ectures of the
                         {I}nternational {S}chool on {F}ormal {M}ethods for
                         the {D}esign of {C}omputer, {C}ommunication and
                         {S}oftware {S}ystems ({SFM-RT}'04)},
  acronym =             {{SFM-RT}'04},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {3185},
  pages =               {200-236},
  year =                {2004},
  month =               sep,
  doi =                 {10.1007/978-3-540-30080-9_7},
}
List of authors