A general framework for formalizing UML with formal languages | IEEE Conference Publication | IEEE Xplore