Elements of Interaction.- Enterprise Architecture as Language.- Real-Time Animation for Formal Specification.- Using Simulink Design Verifier for Proving Behavioral Properties on a Complex Safety Critical System in the Ground Transportation Domain.- SmART: An Application Reconfiguration Framework.- Searching the Best (Formulation, Solver, Configuration) for Structured Problems.- Information Model for Model Driven Safety Requirements Management of Complex Systems.- Discrete Search in Design Optimization.- Software Architectures for Flexible Task-Oriented Program Execution on Multicore Systems.- Optimal Technological Architecture Evolutions of Information Systems.- Practical Solution of Periodic Filtered Approximation as a Convex Quadratic Integer Program.- Performance Analysis of the Matched-Pulse-Based Fault Detection.- A Natural Measure for Denoting Software System Complexity.- Flexibility and Its Relation to Complexity and Architecture.- Formalization of an Integrated System/Project Design Framework: First Models and Processes.- System Engineering Approach Applied to Galileo System.- A Hierarchical Approach to Design a V2V Intersection Assistance System.- Contribution to Rational Determination of Warranty Parameters for a New Product.- Open Interoperable Autonomous Computer-Based Systems, Systems-of-Systems and Proof-Based System Engineering.- Managing the Complexity of Environmental Assessments of Complex Industrial Systems with a Lean 6 Sigma Approach.- Multidisciplinary Simulation of Mechatronic Components in Severe Environments.- Involving AUTOSAR Rules for Mechatronic System Design.- Enterprise Methodology: An Approach to Multisystems.