Contribution à la conception et à la vérification de systèmes temps réel