Automata-Based Analysis Protocol Design | Automata-Based Analysis | Mathematics | NEROS