1. F. Benhamou, D. McAllester, P. Van Hentenryck, CLP (intervals) revisited. Technical Report, Providence (1994)
2. O. Bouissou, A. Chapoutot, S. Mimram, HySon: precise simulation of hybrid systems with imprecise inputs, in IEEE Rapid System Prototyping (2012)
3. G. Chabert, L. Jaulin, Contractor programming. Artif. Intell. 173(11), 1079–1100 (2009)
4. X. Chen, E. Ábrahám, S. Sankaranarayanan, Flow*: an analyzer for non-linear hybrid systems, in Proceedings of the International Conference on Computer Aided Verification (Springer, Berlin, 2013), pp. 258–263
5. X. Chen, S. Sankaranarayanan, E. Ábrahám, Under-approximate flowpipes for non-linear continuous systems, in Proceedings of the Conference on Formal Methods in Computer-Aided Design (FMCAD Inc., Austin, 2014), pp. 59–66