@InProceedings{BJS:tapaal:09,
  author =       "J. Byg and K.Y. Joergensen and J. Srba",
  title =        "{TAPAAL}: Editor, Simulator and Verifier of
                  Timed-Arc {P}etri Nets",
  booktitle =    "Proceedings of the 7th International Symposium on
                  Automated Technology for Verification and Analysis
                  ({ATVA}'09)",
  year =         "2009",
  series =       "LNCS",
  volume =       "5799",
  publisher =    "Springer-Verlag",
  pages =        "84--89",
}