Finite-State Modeling Protocol Design | Finite-State Modeling | Mathematics | NEROS