DM Nicol, WH Sanders, KS Trivedi - IEEE Transactions on Dependable …, 2004 - dl.acm.org
The development of techniques for quantitative, model-based evaluation of computer system
dependability has a long and rich history. A wide array of model-based evaluation …