Handling Refinement of Continuous Behaviors: A Proof Based Approach with Event-B | IEEE Conference Publication | IEEE Xplore