PT Unknown AU Martinat, P TI Analyse aktueller Source-to-Source Transformationsmechanismen zur teilautomatischen Erzeugung von Discrete-Event-Simulationsmodellen PY 2015 LA german ER