Performability Assessment of a Government Process in the Cloud | IEEE Conference Publication | IEEE Xplore