Automata-Based Analysis Validation and Review Protocol | Automata-Based Analysis | Mathematics | NEROS