Romain Rouvoy Philippe Merle Un langage de description et de vérification de motifs d'architecture : Fractal ADL. 49-64 2007 conf/lmo/2007 LMO db/conf/lmo/lmo2007.html#RouvoyM07