Ruggero Lanotte Andrea Maggiolo-Schettini Paolo Milazzo Angelo Troina Design and verification of long-running transactions in a timed framework. 76-94 2008 73 Sci. Comput. Program. 2-3 http://dx.doi.org/10.1016/j.scico.2008.07.001 db/journals/scp/scp73.html#LanotteMMT08