Arguing effectiveness of biomedical signal acquisition devices using colored Petri Nets models and assurance cases in GSN: An ECG case study. - Alvaro Sobrinho; Paulo Cunha; Leandro Dias da Silva; Angelo Perkusich; Thiago D. Cordeiro; Jarbas Segundo (EMBC, 2016)