Contribution à l'Ingénierie Sûre des Systèmes Dynamiques Complexes. Applications aux Systèmes de Contrôle/Commande Ferroviaire