Modélisation, Conception et Vérification des Systèmes à base de Bio-Capteurs sûrs: Application à la Télémédecine - ELOUASTANI OMAR (My University, 2016)