An Ontology-Based Framework for Formal Verification of Safety and Security Properties of Control Logics. - Ramesh Neupane; Hoda Mehrpouyan (ECAI, 2022)

Ontology-based Framework for Boundary Verification of Safety and Security Properties in Industrial Control Systems. - Chibuzo Ukegbu; Ramesh Neupane; Hoda Mehrpouyan (EICC, 2023)