Approximate reasoning for real-time probabilistic processes