Abdullateef Kareem, Bilal, and Ahmad Senjari. “The Influence of Temporal Logic on Finite Automata”. Al-Rafidain Engineering Journal (AREJ) 28, no. 1 (March 1, 2023): 230–238. Accessed September 10, 2025. https://edusj.uomosul.edu.iq/index.php/arej/article/view/30857.