Hussain S, Farid S, Alam M, Iqbal S, Ahmad S. Modeling of Access Control System in Event-B. The Nucleus [Internet]. 2018 Oct. 11 [cited 2024 May 5];55(2):74-8. Available from: http://www.thenucleuspak.org.pk/index.php/Nucleus/article/view/281