@inproceedings{FFGKST2016, author = {Marlon Fraile and Margaret Ford and Olga Gadyatskaya and Rajesh Kumar and Marielle Stoelinga and Rolando Trujillo{-}Rasua}, title = {{Using attack{-}defense trees to analyze threats and countermeasures in an ATM: A case study}}, booktitle = {{At the 9th IFIP WG 8.1 Working Conference on The Practice of Enterprise Modeling (PoEM) 8 - 10 November, 2016, Sk\"{o}vde, Sweden}}, pages = {326--334}, year = {2016}, series = {Lecture Notes in Business Information Processing}, volume = {267}, publisher = {Springer} }