Saeedloei, N., & 		 KluŹniak, F.
2021 dez  7.  Minimization of the Number of Clocks for Timed Scenarios. Anais do Simpósio Brasileiro de Métodos Formais (SBMF). [Online] :