Dynamic Reconfiguration in Real-Time Systems - Wang (Springer New York, 2013)