Daniela Cancila, Hadi Zaatiti, Roberto Passerone: Cyber-Physical System and Contract-Based Design: A Three Dimensional View. WESE 2015: 4:1-4:4