Take it NP-easy: Bounded model construction for duration calculus (2002)

by M Fränzle
Venue:Formal Techniques in Real-Time and Fault-Tolerant Systems 2002, volume 2469 of LNCS