Real-Time Distributed Program Reliability Analysis. - Deng-Jyi Chen; Ming-Cheng Sheng; Maw Sheng (SPDP, 1993)