Towards medical device certification: A colored Petri Nets model of a surface electrocardiography device.

Alvaro Sobrinho, Angelo Perkusich, Leandro Dias da Silva, Thiago D. Cordeiro, Joilson Rego, Paulo Cunha

Browse the full IECON paper archive.