Lepiller, J., Piskac, R., Schäf, M., & Santolucito, M. (2021). Analyzing Infrastructure as Code to Prevent Intra-update Sniping Vulnerabilities [Conference paper]. Tools and Algorithms for the Construction and Analysis of Systems, 105–123. https://doi.org/10.1007/978-3-030-72013-1_6