Zdilar, M. 2025. Model Checking Access Control Protocol for Spreadsheets. Journal of Information and Organizational Sciences. 49, 1 (Apr. 2025). DOI:https://doi.org/10.31341/jios.49.1.3.