@article{stoller06optimistic,
author="Scott D. Stoller and Ernie Cohen",
title="Optimistic Synchronization-Based State-Space Reduction",
journal="Formal Methods in System Design",
year=2006
}