“…Similarly, we did not consider the numerous works dealing with model-based performance or reliability engineering of software systems, which enrich software models with the information required for evaluation using different notations (e.g., UML Profiles such as SPT [190], MARTE [72] or DAM [129]), transform the enriched model to a formal and mathematical model supporting the evaluation (e.g., Queueing Networks [161,217], Probabilistic Process Algebras [157], Stochastic Petri Nets [182,183], Fault Trees [143] or Markov chains [214]) and evaluate the performance or reliability of the system using the tools available for the formal model [139,127]. The interested reader can consult already existing corresponding surveys about these topics, such as [131,156,175,195,200,224] in the context of databases, [125] in the context of complex event processing, or [127,128,168,160] on model-based performance or reliability engineering of software systems. Second, we excluded papers that only describe transformations between notations representing uncertainty that are semantically equivalent.…”