Static Analysis of Infrastructure as Code: a Survey | IEEE Conference Publication | IEEE Xplore