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 (IECON, 2014)

A simulation approach to certify electrocardiography devices. - Alvaro Sobrinho; Paulo Cunha; Leandro Dias da Silva; Angelo Perkusich; Thiago D. Cordeiro; Joilson Rego (HealthCom, 2015)

A methodology for modeling and simulation of biomedical signal acquisition devices. - Alvaro Sobrinho; Paulo Cunha; Leandro Dias da Silva; Angelo Perkusich; Thiago D. Cordeiro; Joilson Rego (HealthCom, 2015)