Paulo E. S. Barbosa, João Paulo Barros, Franklin Ramalho, Luís Gomes, Jorge Figueiredo, Filipe Moutinho, Anikó Costa, André Aranha. SysVeritas: A Framework for Verifying IOPT Nets and Execution Semantics within Embedded Systems Design. In Luis M. Camarinha-Matos, editor, 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. Volume 349 of IFIP, pages 256-265, Springer, 2011. [doi]
Abstract is missing.