HASSAN, B. A. .; QADER, S. M. .; EZAT, H. S. .; AHMED , H. O. .; HAMARASHID, H. K. . A Proposed Formal Verification Model for Card-controlled Doors Using PROMELA with SPIN Model Checker . The Scientific Journal of Cihan University– Sulaimaniya, [S. l.], v. 6, n. 1, p. 82-100, 2022. DOI: 10.25098/6.1.30. Disponível em: https://journal.sulicihan.edu.krd/index.php/sjcus/article/view/121. Acesso em: 12 feb. 2026.