@conference {GomesBarrosCostaPaisMoutinhoETFA2005,
	title = {Towards Usage of Formal Methods within Embedded Systems Co-Design},
	booktitle = {Proceedings of the 2005 IEEE Conference on Emerging Technologies and Factory Automation},
	year = {2005},
	note = {n/a},
	abstract = {n/a},
	author = {Gomes, Lu{\'\i}s and {Jo{\~a}o Paulo} Barros and Anik{\'o} Costa and Rui Pais and Filipe Moutinho}
}
