“The Influence of Temporal Logic on Finite Automata”, AREJ, vol. 28, no. 1, pp. 230–238, Mar. 2023, doi: 10.33899/rengj.2023.136476.1208.