@articleSan2012, 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} @COMMENTBibtex file generated on