Approximate reasoning for real-time probabilistic processes | IEEE Conference Publication | IEEE Xplore