Real-Time Virtual Machines