Modeling of an adiabatic tunable-barrier electron pump | IEEE Conference Publication | IEEE Xplore