Timed High-Order p Calculus and Multi-resolution Time Constraints. - Wei Zheng 006; Yian Zhu; Fang-fang Duan (SNPD, 2009)