Pasandideh, S. ., Pereira, P. ., & Gomes, L. . (2022). Attack Tree Refinements Analysis and Verification by applying Coloured Petri Nets. In (pp. 1–6). Brussels, Belgium: IEEE. http://doi.org/10.1109/IECON49645.2022.9968328 (Original work published 2024)