@inproceedings{1,
  title         = {A Stochastic Framework for Quantitative Analysis of Attack-Defense Trees},
  author        = {Jhawar, Ravi and Lounis, Karim and Mauw, Sjouke},
  booktitle     = {Security and Trust Management},
  volume        = {9871},
  pages         = {138--153},
  publisher     = {Springer International Publishing},
  year          = {2016}
}