4 K cryocooler implementation of a DC programmable voltage standard | IEEE Journals & Magazine | IEEE Xplore