Modeling and Proof of Event-Driven Interaction in Multi Agent Systems in Event-B | IEEE Conference Publication | IEEE Xplore