Hassan, Bryar Ahmad, Shko Muhammed Qader, Hawkar Saeed Ezat, Hawkar Omar Ahmed, and Hozan Khalid Hamarashid. “A Proposed Formal Verification Model for Card-Controlled Doors Using PROMELA With SPIN Model Checker ”. The Scientific Journal of Cihan University– Sulaimaniya 6, no. 1 (May 30, 2022): 82-100. Accessed February 12, 2026. https://journal.sulicihan.edu.krd/index.php/sjcus/article/view/121.