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. Available at: http://www.thenucleuspak.org.pk/index.php/Nucleus/article/view/281 (Accessed: 6 May 2024).