Hassan, B. A. ., S. M. . Qader, H. S. . Ezat, H. O. . Ahmed, and H. K. . Hamarashid. “A Proposed Formal Verification Model for Card-Controlled Doors Using PROMELA With SPIN Model Checker ”. The Scientific Journal of Cihan University– Sulaimaniya, vol. 6, no. 1, May 2022, pp. 82-100, doi:10.25098/6.1.30.