Analysis of a Replication-Aware Transaction model by means of Stochastic Reward Networks | IEEE Conference Publication | IEEE Xplore