Real-Time Trigger-Response Properties for Event-B Applied to the Pacemaker.

Chenyang Zhu, Michael J. Butler, Corina Crstea

Browse the full TASE paper archive.