Probabilistic safety analysis in three dimensional aircraft flight | IEEE Conference Publication | IEEE Xplore