Verified reduction of a model for a continuous casting process Breadcrumbs UL Home Research Year of Publication 2017 Journal Applied Mathematical Modelling DOI 10.1016/j.apm.2017.04.004