An Approach to Proving Proof Obligation of Hybrid Event B Based on Differential Invariants | IEEE Conference Publication | IEEE Xplore