Decision procedures for time and chance | IEEE Conference Publication | IEEE Xplore