Arguing effectiveness of biomedical signal acquisition devices using colored Petri Nets models and assurance cases in GSN: An ECG case study.
Alvaro SobrinhoPaulo CunhaLeandro Dias da SilvaAngelo PerkusichThiago D. CordeiroJarbas SegundoPublished in: EMBC (2016)