Engee documentation
Model Verification
Assertion
Checking for the zero value of the signal.