A Framework for Formalizing UML Models with Formal Language Rcos | IEEE Conference Publication | IEEE Xplore