A Stream Runtime Verification Tool with Nested and Retroactive Parametrization | Publicación