Control Behavior Integrity for Distributed Cyber-Physical Systems