Stav dette: Experimental study of software dependability / Wei-lun Kao.