Availability analysis of transaction processing systems based on user-perceived performance | IEEE Conference Publication | IEEE Xplore