Đoàn V. Ban and H. V. Hương, “A formal specification of the correctness criteria for concurrent executions of a transaction system in real time databases”., J. Comput. Sci. Cybern., vol. 19, no. 3, pp. 263–273, Jul. 2012.