selected publications conference paper Architectural Pen-Test Generation and Vulnerability Prediction for Cyber-Physical Systems 2022