modelisation_et_analyse_de_systemes_embarques_couv.jpg