Actor-Based Simulation of PDEVS systems over HLA | IEEE Conference Publication | IEEE Xplore