selected publications

• conference paper

  • Towards Formalized Model-Based Requirements for a Seamless Design Approach in Safety-Critical Systems Development.  . 2015