Generation of AC waveforms using a NbN-based programmable Josephson voltage standard system with a 10-K cooler | IEEE Conference Publication | IEEE Xplore