Intrusion Detection in Cyber-Physical Systems: Techniques and Challenges | Synapse