Erol Gelenbe Isi Mitrani Modeling the Execution of Block Structured Processes with Hardware and Software Failures. 329-339 1983 conf/mcpr/1983 Computer Performance and Reliability db/conf/mcpr/mcpr1983.html#GelenbeM83