Bounded Reachabiiity Checker for Linear Hybrid Automata