Semantics of Real-Time Trigger-Response Properties in Event-B | IEEE Conference Publication | IEEE Xplore