@inproceedings{gadyatskaya2017refinement,
  title         = {Refinement-aware generation of attack trees},
  author        = {Gadyatskaya, Olga and Jhawar, Ravi and Mauw, Sjouke and Trujillo-Rasua, Rolando and Willemse, Tim AC},
  booktitle     = {Proc. of STM},
  pages         = {164--179},
  year          = {2017},
  organization  = {Springer}
}