@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} }