Runtime Verification Protocol Design | Runtime Verification | Formal Methods | NEROS