Assertion-based Verification of Behavioral Descriptions with Non-linear Solver | Publicación