Qualitative and quantitative temporal reasoning with points and durations | IEEE Conference Publication | IEEE Xplore