General Anticipatory Runtime Verification | Publicación