1. Allen, R., Garlan, D.: Formalizing Architectural Connection. In: Proc. ICSE 1994, pp. 71–80. IEEE Computer Society Press, Los Alamitos (1994)
2. Autili, M., Inverardi, P., Navarra, A., Tivoli, M.: SYNTHESIS: a tool for automatically assembling correct and distributed component-based systems. In: Proc. ICSE 2007, pp. 784–787. IEEE Computer Society Press, Los Alamitos (2007)
3. Lecture Notes in Computer Science;M. Bravetti,2007
4. Lecture Notes in Computer Science;M. Bravetti,2007
5. Lecture Notes in Computer Science;M. Bravetti,2007