Parallel DEVS: a parallel, hierarchical, modular modeling formalism | IEEE Conference Publication | IEEE Xplore