Theoretical Fundamentals of Real-time Virtualization from the Resource Management Perspective