Cyber-physical security for critical infrastructures protection first international workshop, CPS4CIP 2020, Guildford, UK, September 18, 2020, revised selected papers - Abie, Habtamu; Ranise, Silvio; Verderame, Luca; Cambiaso, Enrico; Ugarelli, Rita; Giunta, Gabriele; Praça, Isabel; Battisti, Federica (Springer, 2021)