Real-Time Trigger-Response Properties for Event-B Applied to the Pacemaker | IEEE Conference Publication | IEEE Xplore