State structures for verification and real-time control of hybrid automata | IEEE Conference Publication | IEEE Xplore