S. Hussain, S. Farid, M. Alam, S. Iqbal, and S. Ahmad, “Modeling of Access Control System in Event-B”, The Nucleus, vol. 55, no. 2, pp. 74–84, Oct. 2018.