Towards a practical formal method for object oriented modelling | IEEE Conference Publication | IEEE Xplore