Magnus, S.; Krause, J. (2014). Automatisierte Modellgenerierung auf Basis formaler Anforderungsbeschreibung als Teil der Testautomatisierung, 13. Fachtagung EKA - Entwurf komplexer Automatisierungssysteme, 14.-15.05.2014, Otto-von-Guericke-Universität Magdeburg/ifak, Magdeburg

Krause, J.; Magnus, S.; Ruß, T. (2015). Simulationsgestütztes Testen kooperativer, verteilter Systeme, KommA 2015 - 6. Jahreskolloquium "Kommunikation in der Automation, 17.-18.11.2015, ifak/inIT, Magdeburg

Diedrich, C.; Hintze, E.; Magnus, S.; Krause, J. (2012). Model Based Specification, Verification, and Test Generation for a Safety Fieldbus Profile, SafeComp 2012 – The 31st International Conference on Computer Safety, Reliability and Security, 25.-28.09.2012, Springer, Magdeburg

Magnus, S.; Ruß, T.; Krause, J.; Diedrich, C. (2017). Modellsynthese für die Testfallgenerierung sowie Testdurchführung unter Nutzung von Methoden zur Netzwerkanalyse, at-Automatisierungstechnik, Bd. 65(1):73–86