Zhao Jianhua;Dang Van Hung
-;-
Checking temporal duration properties of timed automata
Journal of Computer Science and Technology
A theory of duration calculus with application
Domain modeling and the duration calculus