“…For the model-based approaches, different quality evaluation techniques have been used, implied by the models used for specific quality attributes. As an example reliability block diagrams [57], [58], [63], [121], [136], [137], [149], [208], [217], discrete-time Markov chains [61], [96], [97], [165], [232], and fault trees [67], [184], [199] are used for reliability; queuing networks [35], [80], [143], [144], [168], [169], [171], [245], execution graphs [85], [107], [115], and discrete-time Markov chains [210] are used to evaluate performance; fault trees [8], [180], [184], [185], [201], [223] and binary decision diagrams [8], [185] are used for safety evaluation; continuous-time Markov chains [193], Markov decision processes [212], Petri-nets [194], and Markov reward models [165] are used for evaluation of a system's energy consumption. Quantitative metrics of the quality attributes are obtained by either mathematically analyzing or simulating the models.…”