Deng-Jyi Chen Min-Sheng Lin On Distributed Computing Systems Reliability Analysis Under Program Execution Constraints. 87-97 1994 43 IEEE Trans. Computers 1 db/journals/tc/tc43.html#ChenL94