An Architecture Description Language for Verification in Component-Based Software. - Ahcene Bouzoualegh; Dominique Marcadet; Frédéric Boulanger; Christophe Jacquet (COMPSAC, 2008)