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