A formalized architecture-centric evolution process for component-based software system | IEEE Conference Publication | IEEE Xplore