Evaluation of resilience in self-adaptive systems using probabilistic model-checking | Publicación