@article{stoller05automated,
author="Scott D. Stoller and Fred B. Schneider",
title="Automated Analysis of Fault-Tolerance in Distributed Systems", 
journal="Formal Methods in System Design", 
volume=26,
number=2,
year=2005,
month=mar,
pages="183-196"
}