Discretization schemes for constraint stabilization in nonlinear differential-algebraic systems - Di Franco, Pierluigi; Scarciotti, Giordano; Astolfi, Alessandro (2018)