Project-team SYCOMORES Symbolic analysis and Component-based design for Modular Real-Time Embedded Systems The objective of the SYCOMORES project-team is to develop a framework for the design and the...