pi-SPACE: A Formal Architecture Description Language Based on Process Algebra for Evolving Software Systems. - Christelle Chaudet; Flávio Oquendo (ASE, 2000)

Architecture-driven software engineering: Specifying, generating, and evolving component- based software systems. - Christelle Chaudet; Robert Mark Greenwood; Flávio Oquendo; Brian Warboys (IEE Proc. Softw., 2000)

Formal Verification of AADL Specifications in the Topcased Environment. - Bernard Berthomieu; Jean-Paul Bodeveix; Christelle Chaudet; Silvano Dal-Zilio; Mamoun Filali; François Vernadat 001 (Ada-Europe, 2009)