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 2025)