Design Space Exploration for Mixed-Criticality Embedded Systems Considering Hypervisor-Based SW Partitions | IEEE Conference Publication | IEEE Xplore