The ongoing digitalization of society is not limited to mere information processing, as it is increasingly leveraging complex Cyber-Physical Systems (CPS). These range from sensors & actuators in critical infrastructure, to appliances in automated smart buildings, to emergency networks using ad-hoc and satellite communications. However, CPS are an attractive target for cyber-attacks, as they threaten the security of strategic societal assets.