Non-linear descriptor systems