Efficient synthesis of robust models for stochastic systems.

•The extension of parameter tolerance from other engineering disciplines to software architecture.•The definition of the sensitivity-aware Pareto dominance relation for the synthesis of robust models.•The RODES method for the generation of sensitivity-aware Pareto fronts.•The integration of multi-objective probabilistic model synthesis and precise pCTMC parameter synthesis.•A repository of case studies showing the successful application of RODES in different domains.