Modeling class operations in B: Application to UML behavioral diagrams | IEEE Conference Publication | IEEE Xplore