Model-Based Design of Adaptive Embedded Systems - Basten (Springer New York, 2013)