Remote operation of embedded controllers designed using IOPT Petri-nets. - Fernando Pereira; Arildo Melo; Luís Gomes 001 (INDIN, 2015)