Enhancing attack resilience of cyber-physical systems through state dependency graph models | Synapse