APPROCHE DIRIGEE PAR LES MODELES POUR LA SPECIFICATION ET LA VALIDATION DES SYSTEMES EMBARQUEES - HAIDRAR SAIDA (My University, 2016)