Stochastic Model Checking, Anne Remke