Jason G. Brown, R. D. (Shawn) Blanton: Exploiting Regularity for Inductive Fault Analysis. VTS 2006: 364-369