Jinhwan Kim Heonshik Shin Optimistic priority-based concurrency control protocol for firm real-time database systems. 707-715 1994 36 Inf. Softw. Technol. 12 https://doi.org/10.1016/0950-5849(94)90042-6 db/journals/infsof/infsof36.html#KimS94