Modelling and simulation of oil shale pyrolysis