Formal specification techniques as a catalyst in validation. - Bernhard K. Aichernig; Andreas Gerstinger; Robert Aster (HASE, 2000)

Safety Case Practice - Meet the Challenge. - Werner Winkelbauer; Gabriele Schedl; Andreas Gerstinger (SSS, 2006)

TAS Control Platform: A Platform for Safety-Critical Railway Applications. - Andreas Gerstinger; Heinz Kantz; Christoph Scherrer (ERCIM News, 2008)

Automated Software Diversity for Hardware Fault Detection. - Gerald Gaiswinkler; Andreas Gerstinger (ETFA, 2009)

Runtime Diversity against Quasirandom Faults. - Andreas Gerstinger (ICONS, 2009)

Safety- and Security-Critical Services in Building Automation and Control Systems. - Thomas Novak 001; Andreas Gerstinger (IEEE Trans. Ind. Electron., 2010)