Efficient verification of real-time systems: compact data structure and state-space reduction | IEEE Conference Publication | IEEE Xplore