Modeling cardiac pacemaker malfunctions with the Virtual Heart Model | IEEE Conference Publication | IEEE Xplore