Scheduling and Reconfiguration of Real-Time Systems: A Supervisory Control Approach (Hardcover, 2023)