Junrong Shen Xi Sun Gang Huang Wenpin Jiao Yanchun Sun Hong Mei Towards a unified formal model for supporting mechanisms of dynamic component update. 80-89 2005 conf/sigsoft/2005 ESEC/SIGSOFT FSE http://doi.acm.org/10.1145/1081706.1081720 db/conf/sigsoft/fse2005.html#ShenSHJSM05