selected publications

• chapter

  • Model-Based Consistency Checks of Electric and Electronic Architectures against Requirements.  Springer eBooks. 262-275. 2012
  • ISO/DIS 26262 in the Context of Electric and Electronic Architecture Modeling.  Lecture Notes in Computer Science. 179-192. 2010

• conference paper

  • A metric-based safety workflow for electric/electronic architectures of vehicles.  . 2011