Model-Based Design of Adaptive Embedded Systems - Basten, Twan.; Hamberg, Roelof.; Reckers, Frans.; Verriet, Jacques. (Embedded Systems,, 2013)