Assertion checking of control dominated systems with nonlinear solvers | IEEE Conference Publication | IEEE Xplore