Trace Analysis Protocol Design | Trace Analysis | Mathematics | NEROS