Modelling and Verification of MOS Transistors at Cryogenic Temperature | IEEE Conference Publication | IEEE Xplore