http://www.informatik.uni-rostock.de/~impetus/Kennedy/index.html