Mehr als nur Programmieren - eine Einführung in die Informatik. - Rainer Gmehlich; Heinrich Rust (Vieweg, 1993)

Verfahren zur Systemspezifikation, Entwurf und Validierung von eingebetteten Echtzeitsystemen im Kfz-Bereich. - Rainer Gmehlich (2001)

Specification and Validation of Embedded Systems using LUSTRE and ARGOS. Case Study: The Automatic Headlight Leveling System. - Rainer Gmehlich (Des. Autom. Embed. Syst., 2001)

On Fitting a Formal Method into Practice. - Rainer Gmehlich; Katrin Grau; Stefan Hallerstede; Michael Leuschel; Felix Lösch; Daniel Plagge (ICFEM, 2011)

Experience of Deployment in the Automotive Industry. - Rainer Gmehlich; Cliff B. Jones (Industrial Deployment of System Engineering Methods, 2013)

Towards a formalism-based toolkit for automotive applications. - Rainer Gmehlich; Katrin Grau; Felix Loesch; Alexei Iliasov; Michael Jackson 003; Manuel Mazzara (FormaliSE@ICSE, 2013)

Industrial Examples of Formal Specifications for Test Case Generation. - Hendrik Roehm; Rainer Gmehlich; Thomas Heinz 001; Jens Oehlerking; Matthias Woehrle (ARCH@CPSWeek, 2015)