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