Haeberlen, Andreas Group P. Druschel, Max Planck Institute for Software Systems, Max Planck Society;
Haeberlen, A., & Kuznetsov, P.(2009). The fault detection problem (MPI-SWS-2009-005). Saarbrücken: MPI for Software Systems.