Modeling Wazuh rules with Weighted Timed Automata. - Anass Haydar; Mathias Ramparison (EUSPN/ICTH, 2024)