An multiuser Undo/Redo method for replicated collaborative modeling systems | IEEE Conference Publication | IEEE Xplore