Partial order reduction for verification of timed systems (1999)

by Marius Minea, Randal E. Bryant, Jeannette M. Wing