Tla Plus, Resilience, Software Development, DevOps.
garbage_collection = "recover resources" variables Gcollection \in [1..3 -> 1..4], begin Collect: with i \in VMs do if Gcollection[i] >= Cluster[i] then Cluster[i] := 0; else Cluster[i] := Cluster[i] - Gcollection[i]; end if; end with; end process; process incoming = "increasing resource usage"