B. A. . Hassan, 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 ”, SJCUS, vol. 6, no. 1, pp. 82-100, May 2022.