J. Hartmann

A compositional approach for functional requirement specifications of automotive software systems

D. Wild, J. Hartmann, S. Rittmann, 2006 .

Concretization and Formalization of Requirements for Automotive Embedded Software Systems Development

D. Wild, M. Rappl, J. Hartmann, 2005 .