Cyber-Physical Systems (CPSs) are part of most critical infrastructures such as industrial automation and transportation systems. Security incidents targeting CPSs can have disruptive consequences on assets and people. ...