Synthesis Tool for Automation Controller Supervision. - Florian Göbe; Thomas Timmermanns; Oliver Ney; Stefan Kowalewski (WODES, 2016)

Modeling and Training of Neural Processing Systems. - Evgeny Kusmenko; Sebastian Nickels; Svetlana Pavlitskaya; Bernhard Rumpe; Thomas Timmermanns (MoDELS, 2019)