"The embedded safety-critical systems design and development industry is facing increasing complexity and variety of systems and devices, coupled with increasing regulatory constraints while costs, performances and time to market are constantly challenged.This has led to a profusion of enablers (new processes, methods and tools), which are neither integrated nor interoperable because they have bee ...