On-the-fly symbolic model checking for real-time systems (1997)

by A Bouajjani, S Tripakis, S Yovine
Venue:In Proc. of the 18th IEEE Real-Time Systems Symposium (RTSS'97