Stateful Handling of Critical Events: Leveraging eBPF to Realize eXtended Finite State Machine Abstractions. - Arianna Quinci; Giacomo Belocchi; Francesco Quaglia; Giuseppe Bianchi 001 (ITASEC/SERICS, 2025)