N. Saeedloei and F. Kluźniak.
" 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>, Evento Online, 2022, pp. 3-21.