Modelling the performance of computer mirroring with difference queues | IEEE Conference Publication | IEEE Xplore