Formal Parameter Synthesis for Energy-Utility-Optimal Fault Tolerance. - Linda Herrmann; Christel Baier; Christof Fetzer; Sascha Klüppelholz; Markus Napierkowski (EPEW, 2018)