I am after research which studies the impacts of refining components in a component-based software system. I am not very familiar with the research papers dedicated to the practice of CBSE. I have only scratched the surface of the relevant theory. But, my unfamiliarity with the practice literature is so huge that I am even not sure about the terminology I am using. So, please advise me on the terminology too, if needed. Furthermore, introductory sources that focus on component refinement are also welcome.
Here is what I mean by refinement of a component: A component C2 is a refinement of a component C1 when its 'requires' and 'provides' interfaces are both supersets of those of C1. Obviously, no particular assumption is made about relationships between the implementations of the two components.