Operation of a 10-V programmable Josephson voltage standard system with a 10-K compact cryocooler | IEEE Conference Publication | IEEE Xplore