Synchronization and management of shared state in HLA-based distributed simulation | IEEE Conference Publication | IEEE Xplore