By the mid-1970s, the agency had achieved a semi-automated air traffic control system using both radar and computer technology. When did the nationwide strike by air traffic controlers union happen?