http://www.informatik.uni-kiel.de/rtsys/kieler/