Title: A formal fault model for component-based models of embedded systems
Subjects: Embedded computer systems, Testing, Fault-tolerant computing