Experiences in verifying parallel simulation algorithms. - John Penix; Dale E. Martin; Peter Frey; Ramanan Radhakrishnan; Perry Alexander; Philip A. Wilsey (FMSP, 1998)