High availability verification framework for OpenStack based on fault injection | IEEE Conference Publication | IEEE Xplore