Saeedloei, Neda, and Feliks Kluźniak.
" An Efficient Customized Clock Allocation Algorithm for a Class of Timed Automata." <em>Anais do XXV Simpósio Brasileiro de Métodos Formais,
Evento Online, 2022</em>. SBC, 2022,  
pp.3-21.