B. Abdullateef Kareem and A. Senjari, “The Influence of Temporal Logic on Finite Automata”, AREJ, vol. 28, no. 1, pp. 230–238, Mar. 2023.