Automatic Failure Detection with Separation of Concerns. - P. Hazy; Rudolph E. Seviora (ARES, 2007)