Arguing effectiveness of biomedical signal acquisition devices using colored Petri Nets models and assurance cases in GSN: An ECG case study | IEEE Conference Publication | IEEE Xplore