D. Trachtenherz

Formal semantics of modular time refinement in AutoFocus

D. Trachtenherz, 2013, Computer Science - Research and Development.

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 .

A Top-Down Methodology for the Development of Automotive Software

Maria Spichkova, Martin Feilkas, Andreas Fleischmann, 2009 .

AutoFocus Tool Chain

Maria Spichkova, David Trachtenherz, Florian Hölzl, 2010 .

Formal Validation of Core SALT Translation to LTL in Isabelle/HOL

David Trachtenherz, D. Trachtenherz, 2011 .

Towards Modularized Verification of Distributed Time-Triggered Systems

Maria Spichkova, Leonid Kof, Jewgenij Botaschanjan, 2006, FM.