Zengxiang Li, Xiaorong Li, Ta Nguyen Binh Duong, Wentong Cai, Stephen John Turner: Accelerating optimistic HLA-based simulations in virtual execution environments. SIGSIM-PADS 2013: 211-220