Towards medical device behavioural validation using Petri nets. - Paulo E. S. Barbosa; Misael Morais; Katia Elizabete Galdino; Melquisedec Andrade; Luís Gomes 001; Filipe Moutinho; Jorge C. A. de Figueiredo (CBMS, 2013)