A Formal Specification and Verification Framework for Time Warp-Based Parallel Simulation