Zdilar, Miro. 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.