You can now find it at http://www.ecs.umass.edu/ece/koren/fault-tolerance/simulator/.