Strategy for Security Certification of High Assurance Industrial Automation and Control Systems | IEEE Conference Publication | IEEE Xplore