Facetal abstraction for non-linear dynamical systems based on δ-decidable SMT. - Nikola Benes; Lubos Brim; Jana Drazanová; Samuel Pastva; David Safránek (HSCC, 2019)