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