Assertion checking of control dominated systems with nonlinear solvers | Publicación