Mathematical modelling and experimental validation for optimisation and control of mammalian cell culture systems