@article{Dam2012,
Author = {Damm, Werner and Reinkemeier, Philipp and Benveniste, Albert and Caillaud, Benoit and Nickovicy, Dejan and Passerone, Roberto and Raclet, Jean-Baptiste and Sangiovanni-Vincentelli, Alberto and Henzinger, Tom and Larsen, Kim},
Title = {Contracts for Systems Design},

Journal = {IEEE Computer},
Year = {2012},
Month = {12},
Edition = {December 2012},
Howpublished = {submitted},
type = {article},
note = {Contracts, rich components},
Abstract = {Contracts, rich components}
}
@COMMENT{Bibtex file generated on }