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