Verification of timed systems using posets (1998)

by W Belluomini, C J Myers
Venue:In CAV 98, volume 1427 of LNCS