Vincent Debruyne, Françoise Simonot-Lion, Yvon Trinquet. EAST-ADL - An Architecture Description Language - Validation and Verification Aspects. P. Dissaux and M. Filali and P. Michel and F. Vernadat.
Architecture Description Language, Kluwer Academic Publishers, 15 p, 2004.
⟨inria-00100019⟩