Termination Analysis Validation and Review Protocol | Termination Analysis | Mathematics | NEROS