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.