Contributions to hardware and software reliability - Kapur, P.K (World scientific, 1999)