Cledou G, Proença J, Barbosa L.? 2017.??Composing Families of Timed Automata. 7th IPM International Conference on Fundamentals of Software Engineering.