Performance evaluation of a service availability model | IEEE Conference Publication | IEEE Xplore