Reasoning about numeric and symbolic time information | IEEE Conference Publication | IEEE Xplore