“A Coloured Petri Nets Model of the 5G Authentication and Key Agreement Protocol”. Revista Brasileira de Computação Aplicada 17, no. 3 (dezembro 7, 2025): 52–63. Acessado janeiro 15, 2026. https://ojs.upf.br/index.php/rbca/article/view/16506.