http://www.cs.wm.edu/~kemper/traviando/ (contributed in research at william and mary in 2011)