Leveraging Virtualization Technologies For Resource Partitioning In Mixed Criticality Systems