DEVStone: a Benchmarking Technique for Studying Performance of DEVS Modeling and Simulation Environments