Dynamic Event Trees for Aircraft Collision Risk Assessment | IEEE Journals & Magazine | IEEE Xplore