Analytical Model for Aircraft-to-Aircraft Link Probability Over the North Atlantic Corridor | IEEE Conference Publication | IEEE Xplore