Efficient and Robust Probabilistic Guarantees for Real-Time Tasks