A framework for the dynamic evolution of highly-available dataflow programs - Ertel, Sebastian; Felber, Pascal (My University, 2014)