A Verilog-A Model of the Shuttle of an Electron in a Two Quantum-Dot System | IEEE Conference Publication | IEEE Xplore