Ensuring Workplace Safety in Goal-based Industrial Manufacturing Systems. - Ahmed Shafei; Jack Hodges; Simon Mayer (SEMANTiCS, 2018)