A methodology for the decomposition of discrete event models for parallel simulation | IEEE Conference Publication | IEEE Xplore