@article{San2012,
Author = {Sangiovanni-Vincentelli, Alberto and Damm, Werner and Passerone, Roberto},
Title = {Taming Dr. Frankenstein: Contract-Based Design for Cyber-Physical Systems},

Journal = {European Journal of Control},
Year = {2012},
Number = {3},
Month = {02},
Edition = {Vol 18},
type = {article}
}
@COMMENT{Bibtex file generated on }