HLA-based optimistic synchronization with SLX | IEEE Conference Publication | IEEE Xplore