@inproceedings{Gadyatskaya-FORMATS-2016,
  author        = {O. Gadyatskaya and R. R. Hansen and K. G. Larsen and A. Legay and M. C. Olesen and D. B. Poulsen},
  title         = {Modelling Attack-defense Trees Using Timed Automata},
  booktitle     = {Proc. of FORMATS},
  year          = {2016},
  publisher     = {Springer},
  volume        = {9884},
  series        = {LNCS},
  pages         = {35-50}
}