Reactive HLA-based Distributed Simulation Systems with RxHLA