Numerical Modeling of the Operation of a Packaged Heat Exchanger in Obtaining Liquefied Natural Gas at Gas Distribution Stations | IEEE Conference Publication | IEEE Xplore