%0 Conference Paper %B 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 %D 2011 %T SysVeritas: {A} Framework for Verifying {IOPT} Nets and Execution Semantics within Embedded Systems Design %A Paulo E. S. Barbosa %A João Paulo Barros %A Franklin Ramalho %A Lu{\'ı}s Gomes %A Jorge Figueiredo %A Filipe Moutinho %A Anikó Costa %A André Aranha %P 256–265 %R 10.1007/978-3-642-19170-1\_28 %U https://doi.org/10.1007/978-3-642-19170-1\_28 %X n/a %Z n/a