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