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. J. Comput. Sci. Cybern. 2012, 19, 263-273.