Verification of models for wall-cooled packed-bed reactors door E.P.S. Schouten