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. Retrieved from http://thenucleuspak.org.pk/index.php/Nucleus/article/view/281