A counterexample-guided approach to parameter synthesis for linear hybrid automata