COST Action IC1402 Runtime Verification Beyond Monitoring | Publicación