A Human-Integrated Tool for Proactive and Reactive Security in Cyber-Physical Systems. - Alistair J. Sequeira; Aris Kanellopoulos; Kyriakos G. Vamvoudakis (CCTA, 2021)