Saeedloei, Neda, AND 		 KluŹniak, Feliks.
" Minimization of the Number of Clocks for Timed Scenarios" <em>Proceedings of the Brazilian Symposium on Formal Methods (SBMF)</em> [Online], (7 December 2021)