Reachability for linear hybrid automata using iterative relaxation abstraction