EAST-ADL - An Architecture Description Language - Validation and Verification Aspects. - Vincent Debruyne; Françoise Simonot-Lion; Yvon Trinquet (IFIP-WADL, 2004)