Ontology-Based Formal Approach for Safety and Security Verification of Industrial Control Systems