Injecting hypervisor-based software partitions into Design Space Exploration activities considering mixed-criticality requirements | IEEE Conference Publication | IEEE Xplore