Model-Theoretic Analysis Protocol Design | Model-Theoretic Analysis | Mathematics | NEROS