Assertion checking of behavioral descriptions with nonlinear solver | Publicación