Augmenting Event-B modelling with real-time verification | IEEE Conference Publication | IEEE Xplore