{\rtf1\ansi\deff0\deftab360

{\fonttbl
{\f0\fswiss\fcharset0 Arial}
{\f1\froman\fcharset0 Times New Roman}
{\f2\fswiss\fcharset0 Verdana}
{\f3\froman\fcharset2 Symbol}
}

{\colortbl;
\red0\green0\blue0;
}

{\info
{\author Biblio}{\operator }{\title Biblio RTF Export}}

\f1\fs24
\paperw11907\paperh16839
\pgncont\pgndec\pgnstarts1\pgnrestart
Gomes, Lu\{\\'?\}s, and Anik\'f3 Costa. "From Use Cases to System Implementation: Statechart Based Co-design." \i 1st \{ACM\} \{&\} \{IEEE\} International Conference on Formal Methods and Models for Co-Design \{(MEMOCODE\} 2003), 24-26 June 2003, Mont Saint-Michel, France, Proceedings\i0 . 2003. 24-33.\par \par }