Peter Frey Radharamanan Radhakrishnan Harold W. Carter Philip A. Wilsey Perry Alexander A Formal Specification and Verification Framework for Time Warp-Based Parallel Simulation. 58-78 2002 28 IEEE Trans. Software Eng. 1 http://www.computer.org:80/tse/ts2002/e0058abs.htm db/journals/tse/tse28.html#FreyRCWA02