A Survey on Cyber-Attacks for Cyber-Physical Systems: Modeling, Defense, and Design | Synapse