Developing Multi-view Contracts Using Event-B and Uppaal Timed Automata | IEEE Conference Publication | IEEE Xplore