Uri M. Ascher Numerical Methods for Differential Systems with Algebraic Equality and Inequality Constraints. 3-4 2002 conf/hybrid/2002 HSCC http://link.springer.de/link/service/series/0558/bibs/2289/22890003.htm db/conf/hybrid/hscc2002.html#Ascher02