Temporal Logic Verification Review and Validation Protocol | Temporal Logic Verification | Formal Methods | NEROS