Availability models for synchronization server infrastructure | IEEE Conference Publication | IEEE Xplore