A. Flores, and M. Polo. Proceedings of the 3rd International Workshop on Views On Designing Complex Architectures (VODCA 2008), page 101 - 115. (2009)Electronic Notes in Theoretical Computer Science, vol. 236.
A. Stuckenholz. Electronic Notes on Theoretical Computer Science, (2007)Proceedings of the Third International Workshop on Formal Aspects of Component Software (FACS'06).
N. Desnos, M. Huchard, C. Urtado, S. Vauttier, and G. Tremblay. Proceedings of 10th International Symposium on Component-Based Software Engineering, volume 4608/2007 of Lecture Notes in Computer Science, Medford, MA, USA, Springer Verlag, (July 2007)
N. Sharygina, S. Chaki, E. Clarke, and N. Sinha. In Proceedings of the International Symposium of Formal Methods Europe (FM 2005), volume 3582/2005 of Lecture Notes in Computer Science, page 512--528. (2005)
S. McCamant, and M. Ernst. Proceedings of SAVCBS 2004: Specification and Verification of Component-Based Systems, page 47-54. Newport Beach, CA, USA), (October 2004)