@articleDam2012, 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} @COMMENTBibtex file generated on