A temporal logic for reasoning about timed concurrent constraint programs | IEEE Conference Publication | IEEE Xplore