The verification of thermodynamic model for UCG process | IEEE Conference Publication | IEEE Xplore