Vers la génération de modèles de sûreté de fonctionnement.