Contributions to hardware and software reliability - Kapur P K (1999)