Loughborough University Institutional Repository State-based modelling in hazard identification