Efficient verification of real-time systems: Compact data structure and state-space reduction (1997)

by Kim G Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi
Venue:In Proc. 18th IEEE Real-Time Systems Symposium (RTSS’97