A formal fault model for component based models of embedded systemsMarco FischerÉpuisé4,3Prévenez-moi
