Hassan, B. A. ., Qader, S. M. ., Ezat, H. S. ., Ahmed , H. O. ., & Hamarashid, H. K. . (2022). A Proposed Formal Verification Model for Card-controlled Doors Using PROMELA with SPIN Model Checker . The Scientific Journal of Cihan University– Sulaimaniya, 6(1), 82-100. https://doi.org/10.25098/6.1.30