Globally hyperbolic manifold