Termination Analysis Protocol Design | Termination Analysis | Mathematics | NEROS