Reachability games for linear hybrid systems.