Karthikeyan Bhargavan Carl A. Gunter Davor Obradovic Fault origin adjudication. 61-71 2000 conf/fmsp/2000 FMSP http://doi.acm.org/10.1145/349360.351132 db/conf/fmsp/fmsp2000.html#BhargavanGO00