The Impacts of Write-Through Procedures and Checkpointing on Real-Time Concurrency Control. - Tei-Wei Kuo; Yen-Hsi Hou; Kam-yiu Lam (Comput. J., 2003)