ZDILAR, M. Model Checking Access Control Protocol for Spreadsheets. Journal of Information and Organizational Sciences, [S. l.], v. 49, n. 1, 2025. DOI: 10.31341/jios.49.1.3. Disponível em: //jios.foi.hr/index.php/jios/article/view/2518. Acesso em: 2 jul. 2025.