@inproceedingsSan2011, Author = {Sangiovanni-Vincentelli, Alberto and Damm, Werner and Passerone, Roberto }, Title = {Taming Dr. Frankenstein: Contract-Based Design for Cyber-physical Systems}, Year = {2011}, Month = {12}, Organization = {IEEE}, type = {inproceedings} @COMMENTBibtex file generated on