N. Saeedloei.
" On the Existence of Unions of Timed Scenarios", in <em>Anais do XXVII Simpósio Brasileiro de Métodos Formais</em>, Vitória/ES, 2024, pp. 3-21.