selected publications

• chapter

  • Model-Based Consistency Checks of Electric and Electronic Architectures against Requirements.  Springer eBooks. 262-275. 2012
  • Towards a Platform for Debugging Executed UML-Models in Embedded Systems.  Springer eBooks. 238-241. 2005