- Kordy, Barbara, Piotr Kordy, Sjouke Mauw, and Patrick Schweitzer. “ADTool: Security Analysis with Attack–Defense Trees.” In Quantitative Evaluation of Systems, edited by Kaustubh Joshi, Markus Siegle, Mariëlle Stoelinga, and Pedro R. D’Argenio, 8054:173–76. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. https://doi.org/10.1007/978-3-642-40196-1_15.
- Wolters, Niels. Quantitative analysis of attack trees with timed automata. Master Thesis. https://fmt.ewi.utwente.nl/media/194_attachment_1.pdf
