A high-level domain-specific language for SIEM (design, development and formal verification). - Anam Nazir; Masoom Alam; Saif Ur Rehman Malik; Adnan Akhunzada; Muhammad Nadeem Cheema; Muhammad Khurram Khan; Yang Ziang; Tanveer Khan; Abid Khan (Clust. Comput., 2017)