An Exact Stochastic Analysis of Priority-Driven Periodic Real-Time Systems and Its Approximations