Modelling Real-time Database Systems in Duration Calculus. - Dang Van Hung; Ho Van Huong (Databases and Applications, 2004)