TY - Front. Comput. Sci. A1 - Wei KE, Xiaoshan LI, Zhiming LIU, Volker STOLZ T1 - rCOS: a formal model-driven engineering method for component-based software Y1 - 2012-02-01 JF - Frontiers of Computer Science JO - Front. Comput. Sci. SP - 17 EP - 39 VL - IS - UR - https://journal.hep.com.cn/fcs N1 - 10.1007/s11704-012-2901-5 ER -