Abdullateef Kareem, B., and A. Senjari. “The Influence of Temporal Logic on Finite Automata”. Al-Rafidain Engineering Journal (AREJ), vol. 28, no. 1, Mar. 2023, pp. 230-8, doi:10.33899/rengj.2023.136476.1208.