“A Coloured Petri Nets Model of the 5G Authentication and Key Agreement Protocol”. Revista Brasileira De Computação Aplicada, vol. 17, nº 3, dezembro de 2025, p. 52-63, https://doi.org/10.5335/rbca.v17i3.16506.