Design and verification of long-running transactions in a timed framework (2008)

by R Lanotte, A Maggiolo-Schettini, P Milazzo, A Troina
Venue:Science of Computer Programming