Javier Cámara, Rogério de Lemos. Evaluation of resilience in self-adaptive systems using probabilistic model-checking. In 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2012, Zurich, Switzerland, June 4-5, 2012. pages 53-62, IEEE, 2012. [doi]
Abstract is missing.