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