Yuri Breitbart Dimitrios Georgakopoulos Marek Rusinkiewicz Abraham Silberschatz On Rigorous Transaction Scheduling. 954-960 http://www.computer.org/tse/ts1991/e0954abs.htm 1991 17 IEEE Trans. Software Eng. 9 db/journals/tse/tse17.html#BreitbartGRS91