Bounded ∈-reachability of linear hybrid automata with a deterministic and transversal discrete transition condition | IEEE Conference Publication | IEEE Xplore