Peter Frey Radharamanan Radhakrishnan Philip A. Wilsey Perry Alexander Harold W. Carter An Extensible Formal Framework for the Specification and Verification of an Optimistic Simulation Protocol. 1999 HICSS http://computer.org/proceedings/hicss/0001/00013/00013049abs.htm db/conf/hicss/hicss1999-3.html#FreyRWC99