Modeling vertical channel junction field effect devices in silicon carbide | IEEE Conference Publication | IEEE Xplore