Case Studies of Application of Probabilistic and Statistical Model Checking in Game Design. - Paolo Milazzo; Giovanni Pardini; Dario Sestini; Pasquale Bove (GAS@ICSE, 2015)