@conference {Cledou17fsen,
	title = {Composing Families of Timed Automata},
	booktitle = {7th IPM International Conference on Fundamentals of Software Engineering},
	year = {2017},
	note = {<p>(In print)</p>
},
	abstract = {<p>n/a</p>
},
	attachments = {https://haslab.uminho.pt/sites/default/files/mgc/files/ifta.pdf},
	author = {Cledou, Guillermina and Jos{\'e} Proen{\c c}a and Barbosa, Luis}
}