Zdilar, Miro. “Model Checking Access Control Protocol for Spreadsheets”. Journal of Information and Organizational Sciences 49, no. 1 (April 21, 2025). Accessed July 2, 2025. //jios.foi.hr/index.php/jios/article/view/2518.