B. Alti, “Continuous Security Validation of Linux Systems Using Configuration-as-Code”, ESISCS, vol. 1, no. 02, pp. 184–193, Dec. 2023.