Sûreté de fonctionnement et modèle temporel - UFS M2R