Cyber-Security of Over-Actuated Cyber-Physical Systems: A Study on Dynamic Positioning Systems