selected publications

• conference paper

  • Using contract-based component specifications for virtual integration testing and architecture design 2011