Availability measurement and modeling for an application server | IEEE Conference Publication | IEEE Xplore