Yinong Chen Winfried Görke Structure-oriented dependability evaluation of fault-tolerant protocols. 85-99 1994 25 Journal of Systems and Software 1 http://dx.doi.org/10.1016/0164-1212(94)90059-0 db/journals/jss/jss25.html#ChenG94