We have not published this yet. ATK use an LCAO description, and the challenge is that many basis orbitals in a device have tails outside the central region, or basis orbitals in the electrode has tails inside the central region. All these tails must be included correctly in the DFT implementation, and this is what we call spill in.
ATK is one of the only codes where this is done properly, and this is why we can handle very efficiently heterogenous systems, like the interface between Ni-graphene or metal-organic interface
K. Stokbro, M. Engelund and A. Blom, Atomic-scale model for the contact resistance of the nickel-graphene interface, Phys. Rev. B 85, 165442 (2012).
K. Stokbro and S. Smidstrup, Electron transport across a metal-organic interface: Simulations using nonequilibrium Green's function and density functional theory, Phys. Rev. B 88, 075317 (2013).