PuppetStack: A tool for building high-availability private cloud infrastructures | IEEE Conference Publication | IEEE Xplore