Stochastic analysis of real-time systems under preemptive priority-driven scheduling