@conference {DBLP:conf/memocode/GomesC03,
	title = {From Use Cases to System Implementation: Statechart Based Co-design},
	booktitle = {1st {ACM} {\&} {IEEE} International Conference on Formal Methods and Models for Co-Design {(MEMOCODE} 2003), 24-26 June 2003, Mont Saint-Michel, France, Proceedings},
	year = {2003},
	note = {n/a},
	pages = {24{\textendash}33},
	abstract = {n/a},
	doi = {10.1109/MEMCOD.2003.1210083},
	url = {https://doi.org/10.1109/MEMCOD.2003.1210083},
	author = {Lu{\'{\i}}s Gomes and Anik{\'o} Costa}
}
