Report FAA-ED (series). 10-1. Engineering and development program plan, oceanic air traffic control automation [with list of references].