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 5, 2025. https://jamh.uomosul.edu.iq/index.php/arej/article/view/30857.