Static Analysis of Infrastructure as Code: a Survey. - Michele Chiari; Michele De Pascalis; Matteo Pradella (ICSA Companion, 2022)