A graphical environment for formally developing object-oriented software | IEEE Conference Publication | IEEE Xplore