DEVStone: a benchmarking technique for studying performance of DEVS modeling and simulation environments · Study