Diego Cucuzzo, Stefano D'Alessio, Francesco Quaglia, Paolo Romano: A Lightweight Heuristic-based Mechanism for Collecting Committed Consistent Global States in Optimistic Simulation. DS-RT 2007: 227-234