A formal approach facilitating the evolution of component-based software | IEEE Conference Publication | IEEE Xplore