selected publications

• conference paper

  • FERAL — Framework for simulator coupling on requirements and architecture level.  Formal Methods. 11-22. 2013
  • Comparing design alternatives from field-tested systems to support product line architecture design.  . 2005