A high-level domain-specific language for SIEM (design, development and formal verification)
EP-SPARQL: A Unified Language for Event Processing and Stream Reasoning