Modélisation, vérification et l'évaluation de la sécurité de fonctionnement des systèmes embarqués - NAJOUI Mohamed (My University, 2016)