AC power standard using a programmable Josephson voltage standard | IEEE Conference Publication | IEEE Xplore