Models for dependability and sustainability analysis of data center cooling architectures | IEEE Conference Publication | IEEE Xplore