{\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
Barbosa, Paulo E. S., Jo\'e3o Paulo Barros, Franklin Ramalho, Lu\{\\'?\}s Gomes, Jorge Figueiredo, Filipe Moutinho, Anik\'f3 Costa, and Andr\'e9 Aranha. "SysVeritas: \{A\} Framework for Verifying \{IOPT\} Nets and Execution Semantics within Embedded Systems Design." \i Technological Innovation for Sustainability - Second \{IFIP\} \{WG\} 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2011, Costa de Caparica, Portugal, February 21-23, 2011. Proceedings\i0 . 2011. 256-265.\par \par }