Dependability modeling of a heterogeneous VAX-cluster system using stochastic reward nets