Derivation, Implementation, and Validation of Computer Simulation Models for Gas-Solid Fluidized Beds