Temporal Logic Verification Protocol Design | Temporal Logic Verification | Formal Methods | NEROS