http://www.cs.cornell.edu/Info/Projects/zeno/rivl/rivl.html
