@techreport{benveniste:hal-00757488, TITLE = {{Contracts for System Design}}, AUTHOR = {Benveniste, Albert and Caillaud, Benoit and Nickovic, Dejan and Passerone, Roberto and Raclet, Jean-Baptiste and Reinkemeier, Philipp and Sangiovanni-Vincentelli, Alberto and Damm, Werner and Henzinger, Thomas and Larsen, Kim G.}, URL = {https://hal.inria.fr/hal-00757488}, TYPE = {Research Report}, NUMBER = {RR-8147}, PAGES = {65}, YEAR = {2012}, MONTH = Nov, KEYWORDS = {system design ; component based design ; contract ; interface}, HAL_ID = {hal-00757488}, HAL_VERSION = {v1}, }