D. Trachtenherz

A Top-Down Methodology for the Development of Automotive Software

Maria Spichkova, Martin Feilkas, Andreas Fleischmann, 2009 .

A Refined Top-Down Methodology for the Development of Automotive Software Systems - The KeylessEntry-System Case Study -

Bernhard Schätz, Maria Spichkova, Martin Feilkas, 2011 .

Safety-Critical System Development Methodology

Maria Spichkova, F. Hölzl, D. Trachtenherz, 2010 .