Detecting Safety and Security Faults in PLC Systems with Data Provenance. - Abdullah Al Farooq; Jessica Marquard; Kripa George; Thomas Moyer (CoRR, 2019)