Compact envelopes : an efficient and provably safe approach to air and space traffic integration