Modélisation formelle pour l'automatisation des tests des applications temps réel_APP : Carte à puce . - AGOUTI JIHANE (My University, 2016)