MOS device modeling at 77 K | IEEE Journals & Magazine | IEEE Xplore