Runtime Verification | Publicación