Saeedloei, N., & 		Kluźniak, F.
(2022).
 An Efficient Customized Clock Allocation Algorithm for a Class of Timed Automata.
In <em>Anais do XXV Simpósio Brasileiro de Métodos Formais</em>, (pp. 3-21). Porto Alegre: SBC.