Đ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”., JCC, vol. 19, no. 3, pp. 263–273, Jul. 2012.