Documentation can be found at http://www.cse.ohio-state.edu/~gurari/systems.html