An Analytical Solution for Probabilistic Guarantees of Reservation Based Soft Real-Time Systems