1. R. Alur, C. Courcoubetis, N. Halbwachs, T.A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138:3–34, 1995.
2. Gotz Alefeld and Jurgen Herzberger. Introduction to Interval Computations. Academic Press, 1983.
3. A. Benveniste and G. Berry. The synchronous approach to reactive and real-time systems. Proceedings of the IEEE, 79(9):1270–1282, September 1991.
4. Bjorn Carlson. Compiling and Executing Finite Domain Constraints. PhD thesis, Uppsala University, 1995.
5. G. F. Corliss. Guaranteed error bounds for ordinary differential equations. In W.A.Light and M.Marletta, editors, Theory of Numerics in Ordinary and Partial Differential Equations, volume IV of Advances in Numerical Analysis, pages 1–75. Oxford University Press, 1995.