H. V. Hương, “A normal specification of the abort-oriented concurency control for real-time database in duration calculus”., JCC, vol. 19, no. 1, pp. 78–90, Jul. 2012.