Saeedloei, N.
(2024).
 On the Existence of Unions of Timed Scenarios.
In <em>Anais do XXVII Simpósio Brasileiro de Métodos Formais</em>, (pp. 3-21). Porto Alegre: SBC.