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