Statically Inferring Usage Bounds for Infrastructure as Code. - Feitong Qiao; Aryana Mohammadi; Jürgen Cito; Mark Santolucito (VSTTE, 2024)