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