N. Saeedloei and F.  KluŹniak.
"Minimization of the Number of Clocks for Timed Scenarios", in <em>Anais do XXIV Simpósio Brasileiro de Métodos Formais</em>, Campina Grande, 2021, pp. 122-139.