A Derivation of 3-D Error Propagation in Stereo Vision Tracking of Air Traffic used for the FAA Collision Risk Model | IEEE Conference Publication | IEEE Xplore