Deriving Unbounded Reachability Proof of Linear Hybrid Automata during Bounded Checking Procedure | IEEE Journals & Magazine | IEEE Xplore