Meera Balakrishnan Andrew L. Reibman Characterizing a Lumping Heuristic for a Markov Network Reliability Model. 56-65 1993 FTCS db/conf/ftcs/ftcs93.html#BalakrishnanR93