1. Allen, R., Garlan, D.: A formal basis for architectural connection. ACM Transactions on Software Engineering and Methodology 6(3), 213–249 (1997)
2. Bracciali, A., Brogi, A., Canal, C.: A formal approach to component adaptation. Journal of Systems and Software, Special Issue on Automated Component-Based Software Engineering (2003) (in press);
3. A preliminary version of this paper was published in Bishop, J.M. (ed.): CD 2002. LNCS, vol.??2370, pp. 185???199. Springer, Heidelberg (2002)
4. Brown, A.W., Wallnau, K.C.: The current state of CBSE. IEEE Software 15(5), 37–47 (1998)
5. Campbell, G.H.: Adaptable components. In: ICSE 1999, pp. 685–686. IEEE Press, Los Alamitos (1999)