Chenyang Zhu, Michael J. Butler, Corina Cîrstea. Semantics of Real-Time Trigger-Response Properties in Event-B. In Jun Pang, Chenyi Zhang, Jifeng He, Jian Weng, editors, 2018 International Symposium on Theoretical Aspects of Software Engineering, TASE 2018, Guangzhou, China, August 29-31, 2018. pages 150-155, IEEE, 2018. [doi]
Abstract is missing.