= Documentation = == Creation of *.model and *.rsf files with KConfigReader == The KConfig !ModelTranslator needs *.model and *.rsf files for the translation, which can be created by KConfigReader. A scala and SBT free version can be downloaded from [https://projects.sse.uni-hildesheim.de/agilo/ModelTranslator/raw-attachment/wiki/Documentation/KConfigReader.tar.gz here].