Co-engineering Safety-Security Using Statistical Model Checking. - Rajesh Kumar 012; Siddhant Singh; Bhavesh Narra; Rohan Kela (FORTE, 2022)

AFMT: Maintaining the safety-security of industrial control systems. - Rajesh Kumar 012; Bhavesh Narra; Rohan Kela; Siddhant Singh (Comput. Ind., 2022)