A Coloured Petri Nets Model of the 5G Authentication and Key Agreement Protocol. RBCA 2025, 17 (3), 52-63. https://doi.org/10.5335/rbca.v17i3.16506.