Delay-dependent partial order reduction technique for real time systems
Origin : Files produced by the author(s)