D. Matsumaru, S. Nakamura, M. Maruyama, and N. -H. Kaneko, Stable Voltage Generation With a Josephson Voltage Standard Device Cooled at a 4 K Stage in a Dilution Refrigerator, IEEE Trans. Inst. Meas., 72, 1004706 (2023).