Hassan BA, Qader SM, Ezat HS, Ahmed HO, Hamarashid HK. A Proposed Formal Verification Model for Card-controlled Doors Using PROMELA with SPIN Model Checker . SJCUS [Internet]. 2022May30 [cited 2026Feb.12];6(1):82-100. Available from: https://journal.sulicihan.edu.krd/index.php/sjcus/article/view/121