AST-SafeSec: Adaptive Stress Testing for Safety and Security Co-Analysis of Cyber-Physical Systems | IEEE Journals & Magazine | IEEE Xplore