Adaptation impact and environment models for architecture-based self-adaptive systems
PRISM-games: A Model Checker for Stochastic Multi-Player Games