La vérification formelle de programmes temporisés