Hương, H. V. “A Normal Specification of the Abort-Oriented Concurency Control for Real-Time Database in Duration Calculus”. Journal of Computer Science and Cybernetics, vol. 19, no. 1, July 2012, pp. 78-90, doi:10.15625/1813-9663/19/1/1523.