A practical notation for object oriented analysis with a formal meaning | IEEE Conference Publication | IEEE Xplore