Jian Huang, Yingxu Wang. Formal Specification and Representation of Design Patterns Using RTPA. In Yiyu Yao, Zhongzhi Shi, Yingxu Wang, Witold Kinsner, editors, Proceedings of the Firth IEEE International Conference on Cognitive Informatics, ICCI 2006, July 17-19, Beijing, China. pages 370-379, IEEE, 2006. [doi]
Abstract is missing.