[1]   S. Ratschan. Simulation based computation of certificates for safety of dynamical systems. In A. Abate and G. Geeraerts, editors, Formal Modeling and Analysis of Timed Systems: 15th International Conference, FORMATS 2017, volume 10419, pages 303–317. Springer International Publishing, 2017.