Saeedloei, N., & 		Kluźniak, F.
2022 dez  6.  An Efficient Customized Clock Allocation Algorithm for a Class of Timed Automata. Anais do Simpósio Brasileiro de Métodos Formais (SBMF). [Online] :