Saeedloei, Neda, E 		 KluŹniak, Feliks.
" Minimization of the Number of Clocks for Timed Scenarios" <em>Anais do Simpósio Brasileiro de Métodos Formais (SBMF)</em> [Online], (7 dezembro 2021)