SysVeritas: A Framework for Verifying IOPT Nets and Execution Semantics within Embedded Systems Design. - Paulo E. S. Barbosa; João Paulo Barros; Franklin Ramalho; Luís Gomes 001; Jorge Figueiredo 001; Filipe Moutinho; Anikó Costa; André Aranha (DoCEIS, 2011)