Applying Reservation-based Scheduling to a μC-based Hypervisor: An industrial case study | IEEE Conference Publication | IEEE Xplore