publicações selecionadas artigo de conferência A Refinement Relation for Families of Timed Automata. International Journal on Software Tools for Technology Transfer. 2017
