Nguyen Truong Thang Takuya Katayama A Formal Approach Facilitating the Evolution of Component-Based Software. 49-52 2005 conf/iwpse/2005 IWPSE http://doi.ieeecomputersociety.org/10.1109/IWPSE.2005.1 db/conf/iwpse/iwpse2005.html#ThangK05