Marco Fischer

• A formal fault model for component-based models of embedded systems