A formal object-oriented approach to defining consistency constraints for UML models | IEEE Conference Publication | IEEE Xplore