A. Tai, H. Hecht, B. Zhang, K. Trivedi, "Making Dependability Evaluation More Effective and Efficient for Engineers", Computer- Aided Design, Test and Evaluation for Dependability Workshop, Beijing, China, July, 1996