Nonlinear control systems - Isidori, Alberto (Springer-Verlag, 1995)