Abstract: Cyber-physical systems (CPSs) have become targets for malicious adversaries, creating new challenges for attaining reliable CPS performance. Achieving CPS security requires tools which ...