Zdilar, M. Model Checking Access Control Protocol for Spreadsheets. J. inf. organ. sci. (Online) 2025, 49.