EDEVS : A Scalable DEVS Formalism for Event-Scheduling Based Parallel and Distributed Simulations | IEEE Conference Publication | IEEE Xplore