Ahcène Bouzoualegh, Frédéric Boulanger, Christophe Jacquet, Dominique Marcadet. An Architecture Description Language for Verification in Component-Based Software.
32nd Annual IEEE International Computer Software and Applications Conference. (COMPSAC 2008)., Jul 2008, Turku, Finland. pp.365-368,
⟨10.1109/Compsac.2008.107⟩.
⟨hal-00334977⟩