S4 S4 System Synthesis and Supervision, Scenarios Benoît Caillaud 20 March 2012.
Contract-Based Integration of Cyber-Physical Analyses