@conference {recosoc/GomesM05,
	title = {Formal methods for Embedded Systems Co-design: the FORDESIGN project},
	booktitle = {ReCoSoC},
	year = {2005},
	note = {n/a},
	pages = {143-150},
	abstract = {n/a},
	author = {Lu\'{\i}s Gomes and Jo{\~a}o Paulo Barros and Anik{\'o} Costa and Rui Pais and Filipe Moutinho}
}
