RUCKUS: a cybersecurity engine for performing autonomous cyber-physical system vulnerability discovery at scale. - Bradley Potteiger; Jacob Mills; Daniel Cohen; Paul Velez (HotSoS, 2020)