Evaluation of resilience in self-adaptive systems using probabilistic model-checking | IEEE Conference Publication | IEEE Xplore