Electronic Design Automation, Design Methodologies, Model-based design, System-Level Design, Object-oriented modelling, High-Level Synthesis, System Synthesis, Design of mixed-criticality systems,