UML activity diagram to event-B: A model transformation approach based on the institution theory | IEEE Conference Publication | IEEE Xplore