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