Chenyang Zhu 0001, Michael J. Butler, Corina Cîrstea. Real-Time Trigger-Response Properties for Event-B Applied to the Pacemaker. In Toshiaki Aoki, Qin Li, editors, International Symposium on Theoretical Aspects of Software Engineering, TASE 2020, Hangzhou, China, December 11-13, 2020. pages 57-64, IEEE, 2020. [doi]
Abstract is missing.