Rating severity of aircraft separation violations from logic of relative collision probability in event reenactment