ASTRO: A tool for dependability evaluation of Data Center infrastructures | IEEE Conference Publication | IEEE Xplore