“Behaviour Examples for Synthesizing Automaton Models by Temporal Formulas”. Nexo Revista Científica 34, no. 01 (April 13, 2021): 61–73. Accessed June 24, 2026. https://www.camjol.info/index.php/NEXO/article/view/11285.