@articleBen2018, Author = {Benveniste, Albert and Caillaud, BenoƮt and Nickovic, Dejan and Passerone, Roberto and Raclet, Jean-Baptiste and Reinkemeier, Philipp and Sangiovanni-Vincentelli, Alberto and Damm, Werner and Henzinger, Tom and Larsen, Kim},Title = {Contracts for System Design},Journal = {Foundations and Trends in Electronic Design Automation},Year = {2018},Pages = {124-400},Doi = {10.1561/1000000053},Url = {http://dx.doi.org/10.1561/1000000053},type = {article} @COMMENTBibtex file generated on