B
[BJS09] Joakim Byg, Kenneth Yrke Jørgensen, and Jiří Srba. TAPAAL: Editor, Simulator and Verifier of Timed-Arc Petri Nets. In ATVA'09, Lecture Notes in Computer Science 5799, pages 84-89. Springer-Verlag, October 2009. 
@inproceedings{atva2009-BJS,
  author =              {Byg, Joakim and J{\o}rgensen, Kenneth Yrke and Srba,
                         Ji{\v r}{\'\i}},
  title =               {{TAPAAL}: Editor, Simulator and Verifier of
                         Timed-Arc {P}etri Nets},
  editor =              {Liu, Zhiming and Ravn, Anders P.},
  booktitle =           {{P}roceedings of the 7th {I}nternational {S}ymposium
                         on {A}utomated {T}echnology for {V}erification and
                         {A}nalysis ({ATVA}'09)},
  acronym =             {{ATVA}'09},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {5799},
  pages =               {84-89},
  year =                {2009},
  month =               oct,
  doi =                 {10.1007/978-3-642-04761-9_7},
}
List of authors