How Texas Law Affects Air Traffic Control Systems