Verifying Quantitative Properties of Continuous Probabilistic Real-Time Graphs