@conference {SIES2006,
	title = {Petri nets as supporting formalism within Embedded Systems Co-design},
	booktitle = {SIES{\textquoteright}2006 - 2006 IEEE International Symposium on Industrial Embedded Systems},
	year = {2006},
	note = {n/a},
	month = {18-20 October 20},
	address = {Nice, France},
	abstract = {n/a},
	author = {Lu\'{\i}s Gomes and Anik{\'o} Costa}
}
