"MatchMaker": synchronising objects in replicated software-architectures | IEEE Conference Publication | IEEE Xplore