Ban, Đoàn V.; Hương, H. V. A Formal Specification of the Correctness Criteria for Concurrent Executions of a Transaction System in Real Time Databases. JCC 2012, 19, 263-273.