Marc H. Graham How to Get Serializability for Real-Time Transactions Without Having to Pay for It. 56-65 1993 IEEE Real-Time Systems Symposium db/conf/rtss/rtss1993.html#Graham93