Cledou G, Proença J, Barbosa LS.? 2017.??A Refinement Relation for Families of Timed Automata. XX Brazilian Symposium on Formal Methods.