- Kumar, Rajesh, Stefano Schivo, Enno Ruijters, Buǧra Mehmet Yildiz, David Huistra, Jacco Brandt, Arend Rensink, and Mariëlle Stoelinga. “Effective Analysis of Attack Trees: A Model-Driven Approach.” In Fundamental Approaches to Software Engineering, edited by Alessandra Russo and Andy Schürr, 10802:56–73. Cham: Springer International Publishing, 2018. https://doi.org/10.1007/978-3-319-89363-1_4.
- Schivo, Stefano, Buğra M. Yildiz, Enno Ruijters, Christopher Gerking, Rajesh Kumar, Stefan Dziwok, Arend Rensink, and Mariëlle Stoelinga. “How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach.” In Dependable Software Engineering. Theories, Tools, and Applications, edited by Kim Guldstrand Larsen, Oleg Sokolsky, and Ji Wang, 10606:319–36. Cham: Springer International Publishing, 2017. https://doi.org/10.1007/978-3-319-69483-2_19.
- Wolters, Niels. Quantitative analysis of attack trees with timed automata. Master Thesis. https://fmt.ewi.utwente.nl/media/194_attachment_1.pdf
