info.tuwien.ac.at/platon

(funded by the Austrian Research Promotion Agency FFG)