@inproceedings{San2011,
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}
}
@COMMENT{Bibtex file generated on }