Proactive self-adaptation under uncertainty: a probabilistic model checking approach | Publicación