An exact stochastic analysis of priority-driven periodic real-time systems and its approximations | IEEE Journals & Magazine | IEEE Xplore