Using Attack-Defense Trees to Analyze Threats and Countermeasures in an ATM: A Case Study. - Marlon Fraile; Margaret Ford; Olga Gadyatskaya; Rajesh Kumar 012; Mariëlle Stoelinga; Rolando Trujillo-Rasua (PoEM, 2016)