Үүнийг мессежээр илгээх: Efficient synthesis of robust models for stochastic systems