Combining Different Proof Techniques for Verifying Information Flow Security. - Heiko Mantel; Henning Sudbrock; Tina Kraußer (LOPSTR, 2006)

Platform-Independent Specification of Model Transformations @ Runtime Using Higher-Order Transformations. - Michael Schlereth; Tina Krausser (Modellierung, 2012)

A Hands-On Laboratory on Industrial Hardware, Process Control and Advanced Automation. - Tina Krausser; Lars Evertz; Ulrich Epple (ACE, 2012)

IEC 61131-3 + ACPLT = Dynamic Reconfigurable Models. - Liyong Yu; Gustavo Quiros; Tina Krausser; Ulrich Epple (Softwaretechnik-Trends, 2012)