Formal Verification of Stateful Services with REST APIs Using Event-B | IEEE Conference Publication | IEEE Xplore