1. Bass, L., Clements, P., Kazman, R.: Software Architecture in Practice. Addison-Wesley, Reading (1998)
2. Ciardo, G., Blakemore, A., Chimento, P.F., Muppala, J.K., Trivedi, K.S.: Automated Generation and Analysis of Markov Reward Models using Stochastic Reward Nets. In: Meyer, C., Plemmons, R.J. (eds.) Linear Algebra, Markov Chains and Queueing Models, Springer, Heidelberg (1993)
3. Cristian, F., Dancey, B., Dehn, J.: Fault-Tolerance in Air Traffic Control Systems. ACM Transactions on Computer Systems 14(3), 265–286 (1996)
4. Das, O., Woodside, C.M.: Evaluating layered distributed software systems with fault-tolerant features. Performance Evaluation 45(1), 57–76 (2001)
5. Das, O., Woodside, C.M.: Modeling the coverage and effectiveness of fault-management architectures in layered distributed systems. In: IEEE International Conference on Dependable Systems and Networks (DSN 2002), June 2002, pp. 745–754 (2002)