Neda Saeedloei and Feliks  KluŹniak. 2021.
 Minimization of the Number of Clocks for Timed Scenarios. In <em>Proceedings of the 24th Brazilian Symposium on Formal Methods</em>, December 07, 2021, Campina Grande, Brasil. SBC, Porto Alegre, Brasil, 122-139.