Thomas Decomposition and Nonlinear Control Systems - Markus Lange-Hegermann; Daniel Robertz (2020)