Jaulin, L., Ratschan, S., & Hardouin, L. (2004). Set Computation for Nonlinear Control. Reliable Computing, 10, 1-26.