Runtime Verification Review and Validation Protocol | Runtime Verification | Formal Methods | NEROS