Automating Service Availability Analysis: An Application to a Highly Available Media-Streaming Service | IEEE Conference Publication | IEEE Xplore