Dependability Modeling and Evaluation of Software Fault Tolerant Systems (1990)

by J Arlat, K Kanoun, J C Laprie
Venue:IEEE Transactions on Computers