M. Zdilar, “Model Checking Access Control Protocol for Spreadsheets”, J. inf. organ. sci. (Online), vol. 49, no. 1, Apr. 2025.