An AC Josephson voltage standard system for frequencies up to the kHz range tested in an industrial environment | IEEE Conference Publication | IEEE Xplore