Modeling of countercurrent shrinking-bed reactor in dilute-acid total-hydrolysis of lignocellulosic biomass