http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-430/Paper7.pdf