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 . SJCUS 2022, 6, 82-100.