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