Formal modelling of attack scenarios and mitigation strategies in IEEE 1588. - Kelvin Anto; Partha S. Roop; Akshya K. Swain (MEMOCODE, 2021)

A Novel Framework for the Design of Resilient Cyber-Physical Systems Using Control Theory and Formal Methods. - Kelvin Anto; Akshya Kumar Swain; Partha S. Roop (IEEE Access, 2023)