Cell-DEVS Models for CO2 Sensors Locations in Closed Spaces | IEEE Conference Publication | IEEE Xplore