Decidability and complexity for the verification of safety properties of reasonable linear hybrid automata.