Scheduling and Reconfiguration of Real-Time Systems : A Supervisory Control Approach - Wang, Xi.; Li, ZhiWu (Cham Springer International Publishing AG, 2023)