A high order sufficient condition for local controllability. - Ron M. Hirschorn; Andrew D. Lewis (CDC, 2001)