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

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