Tony Khoo, Yingxu Wang. Formalization of UML Models by RTPA. In Proceedings of the Canadian Conference on Electrical and Computer Engineering, CCECE 2007, May 7, 10, 2006, Ottawa Congress Centre, Ottawa, Canada. pages 612-615, IEEE, 2006. [doi]
Abstract is missing.