Microwave Modeling and Characterization of Superconductive Circuits for Quantum Voltage Standard Applications at 4 K