Xiao Yang Jinkui Hou Jiancheng Wan Formal Semantic Meanings of Architecture-Centric Model Mapping. 640-649 2007 conf/appt/2007 APPT http://dx.doi.org/10.1007/978-3-540-76837-1_69 db/conf/appt/appt2007.html#YangHW07