Scheduling for mixed-criticality hypervisor systems in the automotive domain. - Christos Evripidou (2016)