Contract-oriented Computing in CO2