Dong Tang Ravishankar K. Iyer Dependability Measurement and Modeling of a Multicomputer System. 62-75 1993 42 IEEE Trans. Computers 1 db/journals/tc/tc42.html#TangI93