Enviar aquest missatge de text: Efficient synthesis of robust models for stochastic systems