Adaptive virtual machine scheduling and migration for embedded real-time systems