@inproceedings{Dam2011,Author = {Damm, Werner and Hungar, Hardi and Josko, Bernhard and Peikenkamp, Thomas and Stierand, Ingo and },Title = {Using Contract-based Component Specifications for Virtual Integration Testing and Architecture Design},Year = {2011},Month = {03},type = {inproceedings}}@COMMENT{Bibtex file generated on }