Saeedloei, N., & 		 KluŹniak, F.
(2021).
Minimization of the Number of Clocks for Timed Scenarios.
In <em>Anais do XXIV Simpósio Brasileiro de Métodos Formais</em>, (pp. 122-139). Porto Alegre: SBC.