1. [n.d.]. AssureMOSS NetFlow Dataset for Anomaly Detection. https://surfdrive.surf.nl/files/index.php/s/CV2fOFlbtsADX9z [n.d.]. AssureMOSS NetFlow Dataset for Anomaly Detection. https://surfdrive.surf.nl/files/index.php/s/CV2fOFlbtsADX9z
2. AlcideIO. [n.d.]. KAudit. https://github.com/alcideio/kaudit AlcideIO. [n.d.]. KAudit. https://github.com/alcideio/kaudit
3. aqua. [n.d.]. Your Cloud Native Applications Secured From the Start. https://www.aquasec.com/ aqua. [n.d.]. Your Cloud Native Applications Secured From the Start. https://www.aquasec.com/
4. Inferring models of concurrent systems from logs of their behavior with CSight
5. Edmund M. Clarke O. Grumberg and D. Peled. 1999. Model checking. MIT Press. Edmund M. Clarke O. Grumberg and D. Peled. 1999. Model checking. MIT Press.