Design space exploration for mixed-criticality embedded systems considering hypervisor-based SW Partitions