Hussain, S., S. Farid, M. Alam, S. Iqbal, and S. Ahmad. “Modeling of Access Control System in Event-B”. The Nucleus 55, no. 2 (October 11, 2018): 74–84. Accessed May 18, 2024. http://202.83.167.189/index.php/Nucleus/article/view/281.