Omar Jaradat, Irfan Sljivo, Ibrahim Habli, Richard Hawkins. Challenges of Safety Assurance for Industry 4.0. In 13th European Dependable Computing Conference, EDCC 2017, Geneva, Switzerland, September 4-8, 2017. pages 103-106, IEEE Computer Society, 2017. [doi]