WADI: a Water Distribution Testbed for Research in the Design of Secure Cyber Physical Systems. | AMiner