Learning Constraint-Based Model for Detecting Malicious Activities in Cyber Physical Systems. - Andrea Balogh; Deepak Mehta 001; Piotr Sobonski; Alieldin Mady; Satyanarayana Vuppala (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI, 2019)