Hương, H. V. A Normal Specification of the Abort-Oriented Concurency Control for Real-Time Database in Duration Calculus. J. Comput. Sci. Cybern. 2012, 19, 78-90.