Design and verification of long-running transactions in a timed framework
scientific article; zbMATH DE number 5369878