Joanne Bechta Dugan Malathi Veeraraghavan Mark Boyd Nitin Mittal Bounded Approximate Reliability Models for Distributed Systems. 137-147 1989 SRDS db/conf/srds/srds89.html#DuganVBM89