LihChyun Shu John A. Stankovic Sang Hyuk Son Achieving Bounded and Predictable Recovery using Real-Time Logging. 373-394 2004 47 Comput. J. 3 http://dx.doi.org/10.1093/comjnl/47.3.373 db/journals/cj/cj47.html#ShuSS04