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