Reasoning about Human Participation in Self-Adaptive Systems
model checking of probabalistic and nondeterministic systems .