Integration of Linear Constraints with a Temporal Logic Programming Language | IEEE Conference Publication | IEEE Xplore