1. Allen, R., Garlan, D.: A Formal Basis for Architectural Connection. ACM Transactions on Software Engineering and Methodology 6(3), 213–249 (1997)
2. André, P., Ardourel, G., Attiogbé, C.: Behavioural Verification of Service Composition. In: ICSOC/Workshop on Engineering Service Compositions, WESC 2005 (2005)
3. André, P., Ardourel, G., Attiogbé, C., Habrias, H., Stoquer, C.: A Service-Based Component Model: Formalism, Analysis and Mechanization. Technical Report RR05.08, LINA (December 2005)
4. Lecture Notes in Computer Science;P.C. Attie,2003
5. Attie, P.C., Lorenz, D.H.: Establishing Behavioral Compatibility of Software Components without State Explosion. Technical Report NU-CCIS-03-02, College of Computer and Information Science, Northeastern University (2003)