Pošalji tekstualnu poruku: Automatic Verification of Competitive Stochastic Systems.