Graph manifolds with boundary are virtually special

Let M be a graph manifold. We prove that fundamental groups of embedded incompressible surfaces in M are separable in the fundamental group of M, and that the double cosets for crossing surfaces are also separable. We deduce that if there is a “sufficient” collection of surfaces in M, then the fundamental group of M is virtually the fundamental group of a special nonpositively curved cube complex. We provide a sufficient collection for graph manifolds with boundary thus proving that their fundamental groups are virtually special, and hence linear.