http://ftp.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-430/