Approximate Reasoning for Real-Time Probabilistic Processes