A Formal Framework for Specifying and Verifying Time Warp Optimizations. - Victoria Chernyakhovsky; Peter Frey; Radharamanan Radhakrishnan; Philip A. Wilsey; Perry Alexander; Harold W. Carter (IPPS/SPDP Workshops, 1999)