N. Saeedloei and F.  KluŹniak.
" Minimization of the Number of Clocks for Timed Scenarios", in <em>Proceedings of the 24th Brazilian Symposium on Formal Methods</em>, Campina Grande, 2021, pp. 122-139.