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