Parallel discrete-event simulation (PDES): a case study in design, development, and performance using SPEEDES | IEEE Conference Publication | IEEE Xplore