@inproceedings{haeberlen-2009-detection-tr,
  author = {Andreas Haeberlen and Petr Kuznetsov},
  title = {The {F}ault {D}etection {P}roblem},
  institution = {Max Planck Institute for Software Systems},
  year = {2009},
  month = oct,
  number = {MPI-SWS-2009-005}
}