CO2 Emission Efficiency as a Measurable Non-Functional Requirement: An Emission Estimation Framework | IEEE Journals & Magazine | IEEE Xplore