Taming Dr. Frankenstein: Contract-Based Design for Cyberphysical Systems Presented: Thu, Dec 15th, 2011