Efficient timed model checking for discrete-time systems (2006)

by F Laroussinie, N Markey, P Schnoebelen
Venue:Theoretical Computer Science 353(1):249–271 DOI 10.1016/j.tcs.2005.11.020