Dependability modeling and evaluation of software faulttolerant systems (1990)

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