  Understanding fault types can lead to novel approaches to debugging and
runtime verification. Dealing with complex faults, particularly in the
challenging area of embedded systems, craves for more powerful tools, which are
now becoming available to engineers.
