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