The followup paper is also worth reading, and perhaps more interesting from a practice perspective.

http://web.stanford.edu/~engler/sosp-97.ps