Zdilar, M. “Model Checking Access Control Protocol for Spreadsheets”. Journal of Information and Organizational Sciences, vol. 49, no. 1, Apr. 2025, doi:10.31341/jios.49.1.3.