ICT and modelling methodologies for food safety and quality assurance in food production plants