Trois approches pour la modélisation et la vérification de systèmes embarqués.