@inproceedings{GM19,
  author        = {Olga Gadyatskaya and Sjouke Mauw},
  title         = {Attack-Tree Series: A Case for Dynamic Attack Tree Analysis},
  booktitle     = {Proc.\ 6th International Workshop on Graphical Models for Security (GraMSec'19)},
  publisher     = {Springer Verlag},
  volume        = {11720},
  series        = {LNCS},
  pages         = {7-19},
  address       = {Hoboken, USA},
  year          = {2019},
  editor        = {Massimiliano Albanese and Ross Horne and Christian W. Probst}
}