Taming Dr. Frankenstein: Contract-Based Design for Cyber-Physical Systems

Alberto L. Sangiovanni-Vincentelli, Werner Damm, Roberto Passerone. Taming Dr. Frankenstein: Contract-Based Design for Cyber-Physical Systems. Eur. J. Control, 18(3):217-238, 2012. [doi]

Abstract

Abstract is missing.