SPICE Modeling of Insulator-Metal Transition Devices with Hysteresis | IEEE Conference Publication | IEEE Xplore