Jifeng He Qiwen Xu Advanced Features of Duration Calculus and Their Applications in Sequential Hybrid Programs. 84-99 2003 15 Formal Asp. Comput. 1 http://dx.doi.org/10.1007/s001650300001 db/journals/fac/fac15.html#HeX03