Formally Designing And Implementing Cyber Security Mechanisms In Industrial Control Networks.