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