@techreportbenveniste:hal-01178469, 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 Systems Design: Methodology and Application cases}, Year = {2015}, Number = {RR-8760}, Pages = {63}, Url = {https://hal.inria.fr/hal-01178469}, Institution = {{Inria Rennes Bretagne Atlantique ; INRIA}}, type = {techreport} @COMMENTBibtex file generated on