Saeedloei, N., & 		 KluŹniak, F.
2021 Dec  7.  Minimization of the Number of Clocks for Timed Scenarios. Proceedings of the Brazilian Symposium on Formal Methods (SBMF). [Online] :