Saeedloei, Neda, E 		Kluźniak, Feliks.
" An Efficient Customized Clock Allocation Algorithm for a Class of Timed Automata" <em>Anais do Simpósio Brasileiro de Métodos Formais (SBMF)</em> [Online], (6 dezembro 2022)