@inproceedings{KoKoMaSc,
  author        = {Barbara Kordy and Piotr Kordy and Sjouke Mauw and Patrick Schweitzer},
  title         = {{ADTool: Security Analysis with Attack--Defense Trees}},
  booktitle     = {QEST},
  editor        = {Kaustubh R. Joshi and Markus Siegle and Mari{\"e}lle Stoelinga and Pedro R. D'Argenio},
  year          = {2013},
  volume        = {8054},
  series        = {LNCS},
  pages         = {173-176},
  project       = {atrees,trespass},
  publisher     = {Springer},
  ee            = {http://dx.doi.org/10.1007/978-3-642-40196-1_15}
}