Timed High-Order p Calculus and Multi-resolution Time Constraints | IEEE Conference Publication | IEEE Xplore