Jing Yang. A Framework for Formalizing UML Models with Formal Language Rcos. In Fourth International Conference on Frontier of Computer Science and Technology, FCST 2009, Shanghai, China, 17-19 December, 2009. pages 408-416, IEEE Computer Society, 2009. [doi]
Abstract is missing.