@conference {DBLP:conf/ifip5-5/BarbosaBRGFMCA11, title = {SysVeritas: {A} Framework for Verifying {IOPT} Nets and Execution Semantics within Embedded Systems Design}, booktitle = {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}, year = {2011}, note = {n/a}, pages = {256{\textendash}265}, abstract = {n/a}, doi = {10.1007/978-3-642-19170-1\_28}, url = {https://doi.org/10.1007/978-3-642-19170-1\_28}, author = {Paulo E. S. Barbosa and Jo{\~a}o Paulo Barros and Franklin Ramalho and Lu{\'{\i}}s Gomes and Jorge Figueiredo and Filipe Moutinho and Anik{\'o} Costa and Andr{\'e} Aranha} }