Dang Van Hung Phan Hong Giang Sampling Semantics of Duration Calculus. 188-207 1996 conf/ftrtft/1996 FTRTFT db/conf/ftrtft/ftrtft1996.html#HungG96