Towards medical device certification: A colored Petri Nets model of a surface electrocardiography device | IEEE Conference Publication | IEEE Xplore