High-availability transaction processing: practical experience in availability modeling and analysis | IEEE Conference Publication | IEEE Xplore