Integrated machinery systems for cryogenic processes consisting of turboexpander, compressor, high-frequency motor and generator with magnetic bearings | IET Conference Publication | IEEE Xplore