@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