quasy : quantitative synthesis tool .
performance evaluation and model checking join forces .