Theses on Virtualized Real-Time Applications