Zutshi, Deshmukh, Sankaranarayanan, Kapinski, 2014. Multiple shooting, CEGAR-based falsification for hybrid systems, in: . ACM Press.. https://doi.org/10.1145/2656045.2656061