Design of a turn-key 10 V Programmable Josephson Voltage Standard system | IEEE Conference Publication | IEEE Xplore