Transparent state management for optimistic synchronization in the high level architecture | IEEE Conference Publication | IEEE Xplore