Kaushik Ghosh, Richard M. Fujimoto, Karsten Schwan: PORTS: a parallel, optimistic, real-time simulator. PADS 1994: 24-31