Fernando Pereira, Filipe Moutinho, Luís Gomes 0001. Model-checking framework for embedded systems controllers development using IOPT Petri nets. In 21st IEEE International Symposium on Industrial Electronics, ISIE 2012, Hangzhou, China, 28-31 May, 2012. pages 1399-1404, IEEE, 2012. [doi]
Abstract is missing.