CEDRIC;
Conservatoire National des Arts et Métiers;
Paris;
France;
Department of Computer Science;
Mentouri University;
Constantine;
Algeria;
Architecture; Description; Language; (ADL); AADL; thread; component; Real; Time; Maude; Model; Checking;